Böhme，萨沙;Leino，K.Rustan M。;沃尔夫，伯克哈特 HOL-Boogie–Boogie程序验证程序的交互式验证程序。 （英语） Zbl 1165.68399号 Mohamed，Otmane Ait（编辑）等，《高阶逻辑中的定理证明》。2008年8月18日至21日在加拿大蒙特利尔举行的2008年第21届TPHOL国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71065-3/pbk）。计算机科学课堂讲稿5170150-166（2008）。MSC公司：60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.Böhme}等人，Lect。注释计算。科学。5170150-166（2008年；Zbl 1165.68399） 全文： 内政部
扬尼克·莫伊 模块断言检查的充分前提条件。 （英语） Zbl 1138.68455号 Logozzo，Francesco（编辑）等人，《验证、模型检查和抽象解释》。2008年1月7日至9日，第九届国际会议，VMCAI 2008，美国旧金山。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78162-2/pbk）。计算机科学讲座笔记4905188-202（2008）。MSC公司：60年第68季度 68甲19 PDF格式BibTeX公司 XML格式引用 \发短信{Y.Moy}，Lect。注释计算。科学。4905188-202（2008年；Zbl 1138.68455） 全文： 内政部