zbMATH中的参考文献（参考 80篇文章 引用，1标准件)

1. Perez，Ivan；Goodloe，Alwyn E.：容错函数式反应式编程（扩展版）（2020）
2. 希雷达（Hirkleda，2020）正式翻译
3. Zhang，Xingyuan；Urban，Christian；Wu，Chunhan：优先继承协议被证明是正确的（2020年）
4. Barthe，Gilles；Betarte，Gustavo；Campo，Juan Diego；Luna，Carlos：恒定时间密码的系统级非干扰。一： 模型（2019）
5. 米勒，戴尔：重温机械化元理论（2019）
6. Paulson，Lawrence C.；Nipkow，Tobias；Wenzel，Makarius:从LCF到Isabelle/HOL（2019年）
7. Rahli，Vincent；Bickford，Mark；Cohen，Liron；Constable，Robert L.：酒吧归纳法与建构型理论兼容（2019）
8. Straßburger，Lutz：证明身份的问题，以及为什么计算机科学家应该关心Hilbert的第24个问题（2019）
9. Achermann，Reto；Humbel，Lukas；Cock，David；Roscoe，Timothy：《Isabelle/HOL真实硬件的物理寻址》（2018）
10. Alex A.Alemi，Francois Chollet，Niklas Een，Geoffrey Irving，Christian Szegedy，Josef Urban:DeepMath-前提选择的深度序列模型（2018）阿尔十四
11. Avigad，Jeremy（编辑）；Blanchette，Jasmin Christian（编辑）；Klein，Gerwin（编辑）；Paulson，Lawrence（编辑）；Popescu，Andrei（编辑）；Sneling，Gregor（编辑）：“交互定理证明中的里程碑”简介（2018）
12. 班切雷克，格尔泽戈尔茨；拜利林斯基，捷克；格拉博夫斯基，亚当；科尼奥维茨，阿图尔；马图斯泽夫斯基，罗曼；诺莫维奇，亚当；Pąk，卡罗尔：米扎尔互动证据开发数学图书馆的作用（2018）
13. Bauereiß，Thomas；Pesenti Gritti，Armando；Popescu，Andrei；Raimondi，Franco:CoSMed:a Secretified verified social media platform（2018年）
14. 陈浩；吴雄楠；邵忠忠；洛克曼，乔舒亚；顾荣辉：面向可中断操作系统内核和设备驱动程序的组合验证（2018）
15. Müller，Peter（编辑）；Schaefer，Ina（编辑）：原则性软件开发。在海夫特60岁生日之际为他写的文章。2018年11月（2018年），德国凯泽斯劳滕，研讨会上的演讲精选论文
16. Nemati，Hamed；Baumann，Christoph；Guanciale，Roberto；Dam，Mads：针对缓存存储侧通道的完整性保护对策的正式验证（2018年）
17. Paulson，Lawrence C.：计算逻辑：它的起源和应用（2018）
18. Syeda，Hira Taqdees；Klein，Gerwin：存在缓存地址转换的程序验证（2018）
19. Aransay，Jesús；Divasón，Jose:线性代数基本定理的形式化及其在最小二乘问题求解中的应用（2017）
20. Guéneau，Armaël；Myreen，Magnus O.；Kumar，Ramana；Norrish，Michael:CakeML的验证特征公式（2017）