%0 Journal Article
%T 模型检测新技术研究
%A 戎玫 张广泉？
%J 计算机科学
%D 2003
%K 软件开发软件可靠性形式化方法原则软件系统演绎推理模型检测
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=7980760&flag=1