×
Detlefs，大卫;格雷格·纳尔逊;詹姆斯·B·萨克斯。

简化：用于程序检查的定理证明器。 （英语） 兹比尔1323.68462

美国临床医学杂志 52，第3期，365-473（2005）.

引用于88文件

MSC公司：

68吨15 定理证明（演绎、解析等）（MSC2010）
第68季度第60季度 规范和验证（程序逻辑、模型检查等）

关键词：

定理证明;决策程序;程序检查

软件：

凯伊;简化
PDF格式BibTeX公司 XML格式引用
\textit{D.Detlefs}等人，J.ACM 52，第3期，365-473（2005；Zbl 1323.68462）
全文： 内政部