ZBMaX中的参考文献（105篇）2篇标准文章）

1. 福斯特，西蒙；卡瓦尔坎蒂，阿纳河；坎纳姆，塞缪尔；伍德考克，吉姆；泽达，弗兰克：反应设计合同的统一理论（2020）
2. Schneider、Gerardo、阿伦特、沃尔夫冈、Bartocci、Ezio、比安库利、多梅尼科、科伦坡、克里斯蒂安、法尔科内、伊利亚斯、Francalanza、法尔科内、克尔斯蒂、斯拉安、洛伦萨、琼·奥米；埃尔、德扬、佩斯、阿；鲁菲诺、Signoles；亚力山大：从高级应用程序域（软件之外）对运行时验证的挑战的调查（2019）
3. Rahli，文森特；科恩，LRIN；BikFrand，马克：由单调库支持的验证定理证明器后端（2018）
4. 刀剑、卡梅伦、Sabry、AMR、Tobin Hochstadt、山姆：作为通信模式的合同监控策略的扩展说明（2018）
5. Jaghoori，Mohammad Mahdi；德波尔，弗兰克；Longuet，德尔菲娜；Couthia.Tom；Sirji，MARJA:实时基于行为系统的组成可调度性分析（2017）
6. 恩盖恩，P·C·C.；Tobin Hochstadt，山姆；范霍恩，戴维：合同验证与反驳的高阶符号执行（2017）
7. Galan，Francisco J.；Calneeta Valdn，JeséM.：用无限量化检验一类定义的正逻辑程序的合成（2016）
8. Naumchev，亚历山大，迈耶，贝特朗；里维拉，维克托：统一要求和代码：一个例子（2016）
9. CalTIS，Georgiana：面向对象语言的基于表达式的别名（2015）
10. Tschannen，J；Fura，CA；Norddio，M.；Polikarpova，N:自动验证：面向对象程序的自动主动功能验证（2015）阿西夫
11. Ghezzi，Carlo；MOCCI，安德列；Sangrigo，马里奥：无限状态抽象的合成及其在软件验证中的应用（2014）伊波尔特
12. 舒，秦；邱，Zongyan；王，舒灵：包裹物体的限制框架（2013）
13. B.Z，MiHaaLy；PokOLL B，ZOLTAN：在.NET应用程序中基于公理的测试生成（2012）
14. Bierman，Gavin M.；戈登，Andrew D.；HiR.Cu，C.T.Lin；兰沃西，戴维：SMT求解器的语义子类型（2012）
15. Chin，Wei Ngan；戴维，克里斯蒂娜；阮，Huu Hai；秦，盛超：分离逻辑中用户定义谓词的形状、大小和袋性质的自动验证（2012）
16. Degen，Markus；蒂曼，彼得；Wehr，斯特凡：契约与懒惰的互动（2012）
17. 曼努埃尔，Logozzo，弗朗西斯科：检查浮点比较操作中比特大小的兼容性（2012）
18. 格林伯格，米迦勒；Pierce，Benjamin C.；韦利奇，斯蒂芬妮：合同订立清单（2012）
19. Kourie、Derrick G.、沃森、Bruce W.：程序构造法的正确性（2012）
20. Orb An，Gy OrrGy；KoZMA，Lasssl：在软件开发中用不同的工具定义合同（2012）