%0 Journal Article
%T 形式化软件规范技术
%A 刘少英
%J 计算机科学
%D 1990
%I 
%K 软件开发
%K 软件规范
%K 软件
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=4C86B03D51626B5945D3248FD56E0752&yid=8D39DA2CB9F38FD0&vid=BCA2697F357F2001&iid=B31275AF3241DB2D&sid=659D3B06EBF534A7&eid=340AC2BF8E7AB4FD&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0