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

1. 巴塔查里亚，阿纳布；古普塔，阿什图什；库普萨米，拉克什曼；玛尼，索米亚；舒克拉，安基特；斯里瓦斯，曼德亚姆；Thattai，Mukund:预测真核细胞囊泡交通系统新特征的形式方法（2021）
2. 卡塞兹，弗朗克；詹森，彼得·居尔；Guldstrand，Larsen Kim:使用跟踪抽象精化的实时程序的验证和参数综合（2021）
3. 郑小荣；昌、油炸；李大勇；任正通：一维数据的图形拟合（2021）
4. 杜特尔，亚伦；莫斯卡托，马里亚诺；蒂托洛，劳拉；穆尼奥斯，塞萨尔；安德森，格雷戈里；Bobot，Francisçois:紧凑位置报告算法的形式分析（2021）
5. 阿普特，玛里亚；帕多，丹尼尔；艾丽西亚维拉纽瓦：符号（\mathbk）框架下的抽象合同合成与验证（2020）
6. 巴博萨，哈尼尔；布兰切特，贾斯敏·克里斯蒂安；弗勒里，马蒂亚斯；方丹，帕斯卡：公式处理的可伸缩细粒度证明（2020）
7. 贝利斯，萨姆；科迪洛夫，诺迪尔；伊克巴尔，赛义德·M。；贝沙斯特尼克，伊万；霍斯，霍尔格H。；Hu，Alan J.：基于可伸缩约束的虚拟数据中心分配（2020）
8. 本斯米勒，克里斯托夫；Scott，Dana S.：自动化HOL中的自由逻辑，范畴理论的实验应用（2020）
9. 贝尔萨尼，马塞洛M。；罗西，马特奥；圣彼得罗，皮尔鲁吉：关于时钟的定时初始化（2020）
10. 波伦德，迪米特里；Kowalewski，Stefan:利用Horn条款解决PLC软件的组成验证（2020）
11. 布朗伯格，马丁；斯图姆，托马斯；魏登巴赫，克里斯托夫：线性整数求解的一种完整的终结方法（2020）
12. 冠军，阿德里安；千叶，通屋；小林，直木；Sato，Ryosuke:基于ICE的高阶功能程序改进型发现（2020）
13. 陈，钱马太；芬齐，阿尔贝托；曼奇尼，托尼；伊戈尔，梅拉蒂；Tronci，Enrico:MILP，pseudo Boolean和OMT解算器，用于关键任务无线网络中中继节点的最佳容错配置（2020）
14. 德雷克斯勒，罗尔夫（编辑）；索肯，马蒂亚斯（编辑）：高级布尔技术。第13届布尔问题国际研讨会论文选集，德国不来梅，2018年9月19-21日（2020年）
15. 费德约科维奇，格里戈里；考夫曼，塞缪尔J。；Bodík，Rastislav:从频率分布中取样学习归纳不变量（2020）
16. 芬克贝纳，伯纳德；哈恩，克里斯托弗；卢卡特，菲利普；斯坦格，马文；Tentrup，Leander:从超属性合成（2020）
17. 加西亚·索托，米里亚姆；Prabhakar，Pavithra:基于抽象的多面体交换系统稳定性验证（2020）
18. 加泽拉，杰克J。；巴拉诺夫斯基，马雷克；何少波；Rakamarić，Zvonimir:利用编译器中间表示进行多语言和跨语言验证（2020）
19. 格拉斯蒂恩，阿尔班；Scala，Enrico:CPCES：通过反例引导的优化来解决符合规划问题的规划框架（2020）
20. 哈伊杜，Ákos；Michskei，Zoltán:基于CEGAR的模型检查的有效策略（2020）