EDP Sciences logo
Submit your paper
Search
Menu
Search

A Method to Deduce and Synthesize the Dafny Programs

Changjing WANG, Xilong DING, Jiangfei HE, Xi CHEN, Qing HUANG, Haimei LUO and Zhengkang ZUO
Wuhan Univ. J. Nat. Sci., 26 6 (2021) 481-488
Published online: 17 December 2021
DOI: 10.1051/wujns/2021266481

This search tool will display articles in Google Scholar database by authors of the selected article:

Select your author(s):


Search method: