zbMATH中的参考文献（引用于 290篇文章 引用，4标准条款)

1. Simon Foster；Ana Cavalcanti；Samuel Canham；Jim Woodcock；Frank Zeyda：反应式设计合同统一理论（2020）
2. Apt，Krzysztof R.；Olderog，Ernst-Rüdiger:霍尔逻辑五十年（2019）
3. Gauthier，Thibault；Kaliszyk，Cezary:跨校对助手库调整概念（2019）
4. 塞萨尔桑切斯；施耐德，杰拉多；阿伦特，沃尔夫冈；巴托奇，埃齐奥；比安库利，多梅尼科；科伦坡，克里斯蒂安；法尔科内，伊莱；弗朗卡兰扎，阿德里安；克尔斯蒂奇，斯里安；卢伦索，若昂；尼科维奇，德扬；佩斯，戈登J；鲁菲诺，何塞；西诺尔，朱利安；特劳特尔，德米特里；韦斯，Alexander:来自高级应用领域（超越软件）的运行时验证挑战调查（2019）
5. Broy，Manfred:基于假设/承诺的系统接口规范和架构合同的理论和方法（2018）
6. Rahli，Vincent；Cohen，Liron；Bickford，Mark：由单调库支持的已验证定理证明器后端（2018）
7. Schornbaum，Florian；Rüde，Ulrich:Extreme scale block structured adaptive mesh refinement（2018年）
8. Swords，Cameron；Sabry，Amr；Tobin Hochstadt，Sam：作为沟通模式的合同监控策略的扩展说明（2018）
9. Jaghoori，Mohammad Mahdi；de Boer，Frank；Longuet，Delphine；Chothia，Tom；Sirjani，Marjan:基于实时角色的系统的组合可调度性分析（2017）
10. Nguyèn，Phúc.；Tobin Hochstadt，Sam；Van Horn，David：合同验证和反驳的高阶符号执行（2017）
11. alpunte，María；Ballis，Demis；Frechina，Francisco；Sapiña，Julia:通过运行时断言检查和跟踪切片调试Maude程序（2016）
12. 班克，伯恩德；海因茨，乔斯；马特拉，吉列尔莫；蒙塔尼亚，何塞·路易斯；帕多，路易斯·M.；罗哈斯·帕雷德斯，安德烈斯：智力游戏作为信息隐藏的模型（2016年）
13. Cyr，Eric C.；Shadid，John N.；Tuminaro，Raymond S.：Teko:Navier Stokes和MHD的具体示例应用程序块预处理能力（2016）
14. Galán，Francisco J.；Cañete Valdeón，JoséM.：用无限量化检验一类定义的正逻辑程序的综合（2016）
15. Naumchev，Alexandr；Meyer，Bertrand；Rivera，Victor：《统一需求和代码：示例》（2016）
16. Schultz，Ulrik Pagh；Axelsen，Holger-Bock：可逆面向对象语言的元素（正在进行的工作报告）（2016）
17. Caballero，Rafael；黑山，Manuel；Kuchen，Herbert；von Hof，Vincent：使用自动测试用例生成检查Java断言（2015）
18. Caltais，Georgiana:面向对象语言的基于表达式的别名（2015）
19. Castro，Pablo F.；Aguirre，Nazareno；Pombo，Carlos L.；Maibaum，T.S.E.：（\mathsfZ）中结构化规范的分类基础（2015）
20. Din，Crystal Chang；Owe，Olaf：关于具有共享期货的活跃对象的组合推理（2015）