%0 Journal Article
%T 机器辅助下的形式化规格说明求精技术
%A 袁晓东 郑国梁？
%J 计算机科学
%D 1998
%K 形式化规格说明机器辅助求精技术形式语言
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=3342089&flag=1