搜索筛选:
搜索耗时1.4044秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者：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 ......
相关搜索：
