%0 Journal Article
%T 形式化方法与工具专刊前言
%A ****王戟？
%A 李宣东？
%J 软件学报
%P 1121-1122
%D 2011
%R 10.3724/SP.J.1001.2011.04036
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=4036&flag=1