曼弗雷德·布罗伊;彼得·佩珀 作为正式活动的项目开发。 (英语) Zbl 0447.68005号 IEEE传输。软件工程。 7, 14-22 (1981)。 页码:24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3个 +4个 +5 显示扫描页面 引用于三文件 MSC公司: 60年第68季度 规范和验证(程序逻辑、模型检查等) 68第05页 数据结构 68号01 软件理论中的一般主题 关键词:程序开发;抽象数据类型;转换规则的正确性;程序转换;转换语义学 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}和\textit{P.Pepper},IEEE Trans。柔和。工程7,14-22(1981;Zbl 0447.68005) 全文: 内政部