费利克斯·A·沃尔夫。;马尔特·施沃尔霍夫;彼得·米勒 复杂逻辑的简明大纲：TaDA的校对大纲检查器。 （英语） Zbl 1531.68043号 形式方法系统。设计。 61，编号110-136（2022）.理学硕士：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit｛F.A.Wolf｝等人，Form.Methods Syst。设计。61，编号1，110--136（2022；Zbl 1531.68043） 全文： 内政部 arXiv公司 OA许可证
蒂鲍特·达迪尼尔;高拉夫，Parthasarathy;几周，不;彼得·米勒;亚历山大·萨默斯。 魔术棒的声音自动化。 （英语） Zbl 1514.68034号 Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第二部分。查姆：斯普林格。勒克特。注释计算。科学。13372, 130-151 (2022).理学硕士：68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{T.Dardinier}等人，莱克特。注释计算。科学。13372、130-151（2022年；Zbl 1514.68034） 全文： 内政部 arXiv公司 OA许可证
沙迦·伊扎基;希拉·佩勒;纳迪亚·波里卡波娃;鲁本·罗伊，N.S。;伊利亚·谢尔盖 带有指针的程序演绎合成：技术、挑战、机会（特邀论文）。 （英语） Zbl 1493.68053号 Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第一部分查姆：施普林格。勒克特。注释计算。科学。12759, 110-134 (2021).理学硕士：68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Itzhaky}等人，Lect。注释计算。科学。12759、110-134（2021年；Zbl 1493.68053） 全文： 内政部 OA许可证
托马斯·丁斯代尔·扬;佩德罗·达罗查·平托;菲利普·加德纳 关于指定和验证并发模块的观点。 （英语） 兹比尔1395.68187 J.日志。阿尔盖布。方法计划。 98, 1-25 (2018).理学硕士：60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Dinsdale-Young}等人，J.Log。阿尔盖布。方法计划。98，1-25（2018；Zbl 1395.68187） 全文： 内政部 OA许可证
熊，页岩;佩德罗·达罗查·平托;Gian Ntzik;菲利普·加德纳 并发映射的抽象规范。 （英语） 兹比尔1485.68078 Yang，Hongseok（编辑），《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会（ESOP 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。柏林：施普林格。勒克特。注释计算。科学。10201, 964-990 (2017).理学硕士：68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Xiong}等人，Lect。注释计算。科学。10201、964--990（2017；Zbl 1485.68078） 全文： 内政部 链接