ZBMaX中的参考文献（78篇）1标准条款）

1. 张，Xingyuan；城市，基督教；吴，Chunhan：优先继承协议被证明是正确的（2020）
2. Barthe，吉尔斯；贝塔特，古斯塔沃；坎波，朱安迭戈；Luna，卡洛斯：系统级不干扰恒时密码学。I:模型（2019）
3. Miller、Dale：机械化元理论再探（2019）
4. 保尔森，Lawrence C.；尼普科夫，托拜厄斯；文策尔，Makarius：从LCF到伊莎贝尔/HOL（2019）
5. Rahli，Vincent；比克福德，马克；科恩，LRIN；警官，Robert L.：条形归纳法与建构型理论兼容（2019）
6. Lutz的问题：证明身份的问题，以及为什么计算机科学家应该关心希尔伯特的第二十四个问题（2019）
7. Achermann，Reto；Hubbl，卢卡斯；公鸡，戴维；罗斯科，蒂莫西：在伊莎贝尔/HOL（2018）的真实硬件上的物理寻址
8. Alex A. Alemi，Francois Chollet，Niklas Een，Geoffrey Irving，Christian Szegedy，Josef Urban：深度-前提选择的深层序列模型（2018）阿西夫
9. Avigad，杰瑞米（ED）；Blanchette，Jasmin Christian（ED）；克莱因，格温（E..）；保尔森，劳伦斯（Ed）；Fig，See（Ed）；SneltIn，（E..）：“交互式定理证明中的里程碑”的介绍（2018）
10. Grzegorz的BeCeRek；Byi-Ski-SKE，CZES-AW；格拉鲍夫斯基，亚当；Kurni-OWICZ，阿图尔；Matuszewski，罗马；诺莫维奇，亚当；P k，Karol：MIZAR数学库在MIZAR（2018）中的交互证明发展的作用
11. 鲍埃雷，托马斯；Pesenti Gritti，阿曼多；波佩斯库，安德列；雷蒙迪，Franco：COSEMD：一个机密性验证的社交媒体平台（2018）
12. 陈，郝；吴，熊楠；邵，钟；Lockerman，约书亚；顾，荣辉：关于可中断操作系统内核和设备驱动程序的组分验证（2018）
13. Müü勒，彼得（ED）；舍费尔，INA（ED.）：原则性软件开发。在他第六十岁生日的时候，献给阿瑟德。基于论文集的论文，德国凯撒斯劳滕，2018年11月（2018）
14. Nemati，哈默德；鲍曼，克里斯托夫；Guangalay.罗伯托；DAM，MADS:对缓存存储侧通道的完整性保护对策的形式化验证（2018）
15. 保尔森，Lawrence C.：计算逻辑：起源与应用（2018）
16. SyEDA，Hira Taqdees；克莱因，格温：在缓存地址转换存在下的程序验证（2018）
17. Aransay，Jes S；DIVASS，若泽：线性代数基本定理HOL的形式化及其在最小二乘问题求解中的应用（2017）
18. Magnus O.，库马尔，Ramana；诺里希，米迦勒：CakEML的特征公式（2017）
19. Hales、托马斯、亚当斯、马克、鲍尔、格特鲁德、Cezary、玛格龙、维克托、麦克劳林、阿、阿、尼、阿、尼布科、阿、奥布亚、阿、普列索、阿、Rute、阿、阿、阿、Ta、阿、、、、、、、、、Ky；罗兰：开普勒猜想的形式证明（2017）
20. Hü，Zh；SAN，戴维；Tiu，爱尔温；刘，杨：分离逻辑中断言的证明策略（2017）