沙乌尔·阿尔马戈;乌迪·博克;奥尔纳·库普弗曼 对质量进行正式推理。 (英语) Zbl 1426.68161号 美国临床医学杂志 63,第3号,第24条,56页(2016年). 引用于1审查引用于12文件 MSC公司: 60年第68季度 规范和验证(程序逻辑、模型检查等) 03B44号 时间逻辑 关键词:自动机;长期贷款;模型检查;质量;合成 PDF格式BibTeX公司 XML格式引用 \textit{S.Almagor}等人,J.ACM 63,第3号,第24条,56页(2016年;Zbl 1426.68161) 全文: 内政部