埃德蒙·克拉克;丹尼尔·克罗宁;佛罗里达州勒达 用于检查ANSI-C程序的工具。 （英语） Zbl 1126.68470号 Jensen，Kurt（编辑）等人，《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004，作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21299-X/pbk）。计算机科学课堂讲稿2988168-176（2004）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Clarke}等人，Lect。注释计算。科学。2988168--176（2004年；Zbl 1126.68470） 全文： 内政部
格罗斯，亚历克斯;丹尼尔·克罗宁;弗拉维奥·勒尔达 理解反例解释. （英语） Zbl 1103.68620号 Alur，Rajeev（编辑）等人，《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22342-8/pbk）。计算机科学课堂讲稿3114453-456（2004）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Groce}等人，Lect。注释计算。科学。3114453-456（2004；Zbl 1103.68620） 全文： 内政部