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

1. 巴塔查里亚，阿纳布；古普塔，阿什图什；库普萨米，拉克什曼；玛尼，索米亚；舒克拉，安基特；斯里瓦斯，曼德亚姆；Thattai，Mukund:预测真核细胞囊泡交通系统新特征的形式方法（2021）
2. 卡塞兹，弗朗克；詹森，彼得·居尔；Guldstrand，Larsen Kim:使用跟踪抽象精化的实时程序的验证和参数综合（2021）
3. 郑小荣；昌、油炸；李大勇；任正通：一维数据的图形拟合（2021）
4. 杜特尔，亚伦；马里卡托；蒂托洛，劳拉；穆尼奥斯，塞萨尔；安德森，格雷戈里；Bobot，Francisçois:紧凑位置报告算法的形式分析（2021）
5. 埃拉·库姆·德瓦利娜（Eraşcu，Mădălina）；米科塔，弗拉维亚；Zaharie，Daniela:使用优化模理论、数学规划和对称破坏在基于组件的应用程序云中的可伸缩优化部署（2021）
6. Filli–tre，Jean-Christophe:用分散不变量的简单证明（2021）
7. 加西亚·孔特雷拉斯，伊莎贝尔；莫拉莱斯，何塞芙。；Hermenegildo，Manuel V.：增量和模块化上下文敏感分析（2021）
8. 亨德里克斯，马蒂恩；盖伦，马克；傻瓜，基斯；德容，罗布；Basten，Twan：质量和资源管理的接口建模（2021）
9. 迈耶，费边；听，马塞尔；Giesl，Jürgen:使用预期大小推断概率整数程序的预期运行时间（2021年）
10. 尼美兹，艾娜；普雷纳，马蒂亚斯；雷诺兹，安德鲁；巴雷特，克拉克；Tinelli，Cesare:关于利用可逆条件求解量化位向量约束（2021）
11. 不，耶；Strichman，Ofer:使用最优算法组合实时解决计算困难问题（2021）
12. 苏布拉曼尼，K。；Wojciechowski，P.：关于UTVPI+约束系统中一次读取反驳的参数化复杂性（2021年）
13. 阿普特，玛里亚；帕多，丹尼尔；艾丽西亚维拉纽瓦：符号（\mathbk）框架下的抽象合同合成与验证（2020）
14. 阿玛蒂尼，罗伯托；恒河，格雷姆；Stuckey，Peter J.：字符串约束求解的虚线字符串（2020）
15. 巴博萨，哈尼尔；布兰切特，贾斯敏·克里斯蒂安；弗勒里，马蒂亚斯；方丹，帕斯卡：公式处理的可伸缩细粒度证明（2020）
16. 贝利斯，萨姆；科迪洛夫，诺迪尔；伊克巴尔，赛义德·M。；贝沙斯特尼克，伊万；霍斯，霍尔格H。；Hu，Alan J.：基于可伸缩约束的虚拟数据中心分配（2020）
17. 本斯米勒，克里斯托夫；Scott，Dana S.：自动化HOL中的自由逻辑，范畴理论的实验应用（2020）
18. 贝尔萨尼，马塞洛M。；罗西，马特奥；圣彼得罗，皮尔鲁吉：关于时钟的定时初始化（2020）
19. 波伦德，迪米特里；Kowalewski，Stefan:利用Horn条款解决PLC软件的组成验证（2020）
20. 布朗伯格，马丁；斯图姆，托马斯；魏登巴赫，克里斯托夫：线性整数求解的一种完整的终结方法（2020）