搜索筛选:
搜索耗时1.8470秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[期刊论文] 作者：ZUO Zhengkang,SU Wei,LIANG Zanyang,HUANG Qing,WANG Yuan,WANG Changjing,
来源：武汉大学自然科学学报（英文版） 年份：2021
The development of algebraic and numerical algo-rithms is a kind of complicated creative work and it is difficult to guarantee the correctness of the algorithms...
[期刊论文] 作者：WANG Changjing,JIANG Huiwen,ZENG Jingshan,YU Min,HUANG Qing,ZUO Zhengkang,
来源：武汉大学自然科学学报（英文版） 年份：2021
The development of blockchain is at a nascent stage.Current research on blockchain mainly focuses on a single tech-nology,failing to reflect the correlation between the integrated technologies due to a lack of application in the real world.......
[期刊论文] 作者：WANG Changjing,DING Xilong,HE Jiangfei,CHEN Xi,HUANG Qing,LUO Haimei,ZUO Zhengkang,
来源：武汉大学自然科学学报（英文版） 年份：2021
We propose a systematic method to deduce and syn-thesize the Dafny programs.First,the specification of problem is described in strict mathematical language.Then,the derivation process uses program specification transformation technology to ......
相关搜索：
