%0 Journal Article
%T 形式化软件规范技术
%A 刘少英？
%J 计算机科学
%D 1990
%K 软件开发软件规范软件
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=297220&flag=1