%0 Journal Article
%T 形式化方法的发展及展望
%A 姜利？
%J 计算机科学
%D 1998
%K 形式语言形式化方法软件工程发展
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=3024704&flag=1