马杜苏丹，P。（编辑）;Sanjit A.Seshia。（编辑） 计算机辅助验证。2012年7月7日至13日，第24届国际会议，CAV 2012，美国加州伯克利。诉讼程序。 （英语） Zbl 1241.68027号 计算机科学课堂讲稿7358.柏林：施普林格出版社（ISBN 978-3-642-31423-0/pbk）。十六、789页。(2012). 将索引文章显示为搜索结果。 对数学感兴趣的文章将单独进行审查。有关上一次会议，请参阅[Zbl 1220.68006号].索引文章：佐治亚州贾法；Vijayaraghavan Murali；豪尔赫·纳瓦斯（Jorge A.Navas）。；安德鲁·桑托萨。，TRACER：用于验证的符号执行工具，758-766[Zbl 1478.68164号] 引用于1审查引用于6文件 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 60年第68季度 规范和验证（程序逻辑、模型检查等） 00B25型 杂项特定利益的会议记录 引文：Zbl 1220.68006号 PDF格式BibTeX公司 XML格式引用 \textit{P.Madhusudan}（编辑）和\textit{S.A.Seshia}（编），计算机辅助验证。2012年7月7日至13日，第24届国际会议，CAV 2012，美国加州伯克利。诉讼程序。柏林：施普林格（2012年；兹bl 1241.68027） 全文： 内政部