约翰·V·古塔格。;埃利斯·霍洛维茨;大卫·穆瑟。 抽象数据类型和软件验证。 (英语) Zbl 0387.68012号 Commun公司。ACM公司 21, 1048-1064 (1978). 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于46文件 MSC公司: 68第05页 数据结构 60年第68季度 规范和验证(程序逻辑、模型检查等) 软件:减少 PDF格式BibTeX公司 XML格式引用 \textit{J.V.Guttag}等人,Commun。ACM 21,1048--1064(1978;Zbl 0387.68012) 全文: 内政部