%0 Journal Article
%T b语言和方法与z、vdm的比较
%A 邹盛荣 郑国梁？
%J 计算机科学
%D 2002
%K b语言z语言vdm语言程序设计语言形式化方法软件开发
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=7768467&flag=1