埃勒斯，马尔科;Severin Meier;彼得·米勒 野生产品程序：改造程序验证器以检查信息流安全性。 （英语） Zbl 1493.68106号 Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。勒克特。注释计算。科学。12759, 718-741 (2021).MSC公司：68号30 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Eilers}等人，Lect。注释计算。科学。12759718--741（2021年；Zbl 1493.68106） 全文： 内政部 OA许可证
Leino，K.Rustan M。;彼得·米勒 验证多线程程序的基础。 （英语） Zbl 1234.68078号 朱塞佩（编辑），《编程语言和系统》。2009年3月22日至29日在英国约克举行的第18届欧洲编程研讨会（ESOP 2009）是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00589-3/pbk）。计算机科学讲座笔记5502378-393（2009）。MSC公司：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{K.R.M.Leino}和\textit{P.Müller}，Lect。注释计算。科学。5502378-393（2009年；Zbl 1234.68078） 全文： 内政部
加里·莱文斯。;Leino，K.Rustan M。;彼得·米勒 顺序面向对象程序的规范和验证挑战。 （英语） Zbl 1121.68074号 正式Asp。计算。 19，第2期，159-189（2007）.MSC公司：60年第68季度 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{G.T.Leavens}等人，正式Asp。计算。19，第2号，159--189（2007；Zbl 1121.68074） 全文： 内政部 链接