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

1. Allamigeon，沙维尔；卡茨，Ricardo D.：基于单纯形法的凸多面体的形式化（2019）
2. Amadini，罗伯托；安德隆，麦克；Gange，格雷姆；沙希特，彼得；S NordGARD，哈拉尔德；Stuckey，Stuckey：JavaScript动态符号执行的约束编程（2019）
3. Bentkamp，亚力山大；布兰切特，Jasmin Christian；克拉科夫，迪特里希：深度学习表现力的形式证明（2019）
4. 贝松，Fr.E.DeeRic；Brasy，Sandrine；Wikk，彼埃尔：一个支持指针算法和未初始化数据的内存模型验证的前端（2019）
5. 卡马乔，卡洛斯；Llana，路易斯；N.N. Nez，阿尔伯托；BraveTi，马里奥：概率软件产品线（2019）
6. Cardelli，卢卡；TrbasOne，Micro；Tschaikowski，马克斯；范丁，安德列：微分等效的符号计算（2019）
7. 德鲁克，Nir；霍城，熙明；Ouaknine，乔伊；佩恩，Michal；斯特里曼，OFER：无人机循环路由（2019）
8. 小林定人，TSUTUMU；石川，Fuyuki；Honiden，石妮迟：事件B模型中精细结构的一致性保持重构（2019）
9. 巴巴拉，Nekkordn，Maxime；NoLTE，丹尼斯：核心：通过SAT/SMT求解器计算核心图的工具（2019）
10. 李，Wenda；PASSMOR，Grant Olney；保尔森，Lawrence C.：在伊莎贝尔/HOL（2019）中使用不可信证书来决定单变量多项式问题
11. Milicevic，Aleksandar；近处，Joseph P.；Kang，EunSuk；杰克逊，丹尼尔：合金*：一个通用的高阶关系约束求解器（2019）
12. 安德列、Ciob、C、斯特凡、Melula、RADU、穆尔、布兰登、Roüu、Grigor；Erbünu，Traian Florin：全路径可达性逻辑（2019）
13. 斯塔亚诺维奇-乌尔埃维，Sana：从非正式到正式证明在Euclidean几何（2019）
14. TA，Quang Trung；Le，Ton Chhanh；Koo，Siau Cheng；Chin，Wei Ngan：分离逻辑中的自动互感证明（2019）
15. 王，闻喜；S·Nordar，哈拉尔德；Stuckey，Peter J.：WouBIT：使用字级传播的组合比特向量求解器（2019）
16. Zakowski，扬妮克；卡切拉，戴维；Demange，德尔菲娜；Petri，古斯塔沃；Pichardie，Pichardie；Jagannathan，SuReh；Viek，Jun:用依赖保证方法验证并发垃圾收集器（2019）
17. 鲍，Yuyan；莱文，Gary T.；厄恩斯特，吉顿：统一分离逻辑和允许互操作的区域逻辑（2018）
18. 巴雷特，克拉克；Tinelli，CeSEAR:可满足性模理论（2018）
19. Bart，Anicet；DelaHaye，Beoo.t；FunnER，Paulin；石灰，Ddier-；Munfury，Eyric；Truchet，夏洛特：使用约束的参数区间马尔可夫链可达性（2018）
20. Ivana，评价最小不满足子集的域不可知方法的评价（2018）