MSVL语言的公理系统的程序验证

杨潇潇;段振华

Verification of programs based on an axiom system for the MSVL language

YANG Xiao-xiao;DUAN Zhen-hua

J4 . 2010, (1): 96 -101 . DOI: 10.3969/j.issn.1001-2400.2010.01.017