A comparative study of verification condition generators
暂无分享，去创建一个
[1] K. Rustan M. Leino,et al. Checking Java Programs via Guarded Commands , 1999, ECOOP Workshops.
[2] C. A. R. Hoare,et al. An axiomatic basis for computer programming , 1969, CACM.
暂无分享，去创建一个
[1] K. Rustan M. Leino,et al. Checking Java Programs via Guarded Commands , 1999, ECOOP Workshops.
[2] C. A. R. Hoare,et al. An axiomatic basis for computer programming , 1969, CACM.