面向对象程序设计语言EIFFEL的程序正确性验证工具  

作　　者：姚卿达[1] 唐长宁[1] 董慧红 

机构地区：[1]中山大学计算机软件研究所

出　　处：《计算机科学》1994年第2期63-67,5,共6页Computer Science

摘　　要：本文简单介绍了国家八五科研重点攻关项目《实用自动工具集的开发》的子专题《自动验证工具》的理论基础和开发成果。

关 键 词：程序语言 程序设计 EIFFEL语言 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]