马丁·格罗·罗德 使用转换系统对正式软件规范进行组合比较。 (英语) Zbl 1063.68605号 正式Asp。计算。 13,第2期,161-186(2002). 理学硕士: 68问题65 抽象数据类型;代数规范 60年第68季度 规范和验证(程序逻辑、模型检查等) 关键词:成分性;一致性 PDF格式BibTeX公司 XML格式引用 \textit{M.Große-Rhode},正式Asp。计算。13,第2号,161--186(2002;Zbl 1063.68605) 全文: 内政部