zbMATH中的参考文献（参考文献509篇,1标准件)

1. 杜特尔，亚伦；莫斯卡托，马里亚诺；蒂托洛，劳拉；穆ñ盎司，Cé特别行政区；安德森，格雷戈里；博博特，弗兰çois：紧凑型位置报告算法的形式化分析（2021）
2. 巴博萨，哈尼尔；布兰切特，贾斯敏·克里斯蒂安；弗勒里，马蒂亚斯；方丹，帕斯卡：公式处理的可伸缩细粒度证明（2020）
3. 贝利斯，萨姆；科迪洛夫，诺迪尔；伊克巴尔，赛义德·M。；贝沙斯特尼克，伊万；霍斯，霍尔格H。；Hu，Alan J.：基于可伸缩约束的虚拟数据中心分配（2020）
4. 奔驰ü勒，克里斯托夫；Scott，Dana S.：自动化HOL中的自由逻辑，范畴理论的实验应用（2020）
5. 贝尔萨尼，马塞洛M。；罗西，马特奥；圣彼得罗，皮尔鲁吉：关于时钟的定时初始化（2020）
6. 波伦德，迪米特里；Kowalewski，Stefan:利用Horn条款解决PLC软件的组成验证（2020）
7. 布朗伯格，马丁；斯图姆，托马斯；魏登巴赫，克里斯托夫：线性整数求解的一种完整的终结方法（2020）
8. 冠军，阿德里安；千叶，通屋；小林，直木；Sato，Ryosuke:基于ICE的高阶功能程序改进型发现（2020）
9. 陈，钱马太；芬齐，阿尔贝托；曼奇尼，托尼；伊戈尔，梅拉蒂；Tronci，Enrico:MILP，pseudo Boolean和OMT解算器，用于关键任务无线网络中中继节点的最佳容错配置（2020）
10. 德雷克斯勒，罗尔夫（编辑）；索肯，马蒂亚斯（编辑）：高级布尔技术。第13届布尔问题国际研讨会论文选集，德国不来梅，2018年9月19-21日（2020年）
11. 费德约科维奇，格里戈里；考夫曼，塞缪尔J。；董事会ík、 Rastislav:通过从频率分布中采样学习归纳不变量（2020）
12. 芬克贝纳，伯纳德；哈恩，克里斯托弗；卢卡特，菲利普；斯坦格，马文；Tentrup，Leander:从超属性合成（2020）
13. 加塞í索托，米里亚姆；Prabhakar，Pavithra:基于抽象的多面体交换系统稳定性验证（2020）
14. 加泽拉，杰克J。；巴拉诺夫斯基，马雷克；何少波；拉卡马利ć, Zvonimir:利用编译器中间表示进行多语言和跨语言验证（2020）
15. 格拉斯蒂恩，阿尔班；Scala，Enrico:CPCES：通过反例引导的优化来解决符合规划问题的规划框架（2020）
16. 哈伊杜，Á科斯；米斯基，佐特án： 基于CEGAR的模型检验的有效策略（2020）
17. 哈拉汉，威廉T。；翟恩南；Piskac，Ruzica：防火墙自动修复示例（2020）
18. 荷兰语ík、 卢克áš; Iosif，拉杜；罗加莱维奇，亚当；沃伊纳，汤姆áš: 无限状态系统迹包含的抽象精化与反链（2020）
19. 黄成超；徐明；李志斌（李志斌，2020年解决权力冲突的程序）
20. 伊什·沙洛姆，奥伦；伊扎基，沙查尔；曼尼维奇，罗马人；Rinetzky，Noam:利用静态分析帮助学习字符串操作程序的伪逆，以自动生成测试（2020）