%0 Journal Article
%T 软件开发中的形式化方法
%A 郑红军 张乃孝？
%J 计算机科学
%D 1997
%K 软件开发形式化方法需求分析
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=2761017&flag=1