A Method to Deduce and Synthesize the Dafny ProgramsChangjing WANG, Xilong DING, Jiangfei HE, Xi CHEN, Qing HUANG, Haimei LUO and Zhengkang ZUOWuhan Univ. J. Nat. Sci., 26 6 (2021) 481-488DOI: https://doi.org/10.1051/wujns/2021266481
