伊贡博格尔 ASM细化方法。 (英语) Zbl 1093.68601号 正式Asp。计算。 15,编号2-3,237-257(2003). 引用于21文件 MSC公司: 60年第68季度 规范和验证(程序逻辑、模型检查等) 2005年第68季度 计算模型(图灵机等)(MSC2010) 关键词:计算模型;指定、验证和推理程序 PDF格式BibTeX公司 XML格式引用 \textit{E.Börger},正式Asp。计算。15,编号2--3,237--257(2003;Zbl 1093.68601) 全文: 内政部