%0 Journal Article
%T 面向对象程序设计语言EIFFEL的程序正确性验证工具
%A 姚卿达
%A 唐长宁
%J 计算机科学
%D 1994
%I 
%X 本文简单介绍了国家八五科研重点攻关项目＜＜实用自动工具集的开发＞＞的专题＜＜自动验证工具＞＞的理论基础和开发成果。
%K 程序语言
%K 程序设计
%K EIFFEL语言
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=BB5235F6C7C88F56C21BED95B761205E&yid=3EBE383EEA0A6494&vid=659D3B06EBF534A7&iid=0B39A22176CE99FB&sid=E84BBBDDD74F497C&eid=5D71B28100102720&journal_id=1002-137X&journal_name=计算机科学&referenced_num=1&reference_num=0