循环不变式开发技术研究

中国计算机学会会刊
中国科技核心期刊
中文核心期刊

循环不变式开发技术研究

万松松1，2,薛锦云1，3,谢武平1

Analysis of Loop Invariant Development Technology

WAN Songsong1，2,XUE Jinyun1，3,XIE Wuping1

J4 . 2010, (9): 84 -88 . DOI: 10.3969/j.issn.1007130X.2010.