zbMATH中的参考文献（参考文献10条)

1. 林玉辉；格罗夫，古德蒙德；Arthan，Rob：以图形化的方式理解和维护战术，或者我们是如何认识到一个图表的价值可以超过10万LoC（2016年）
2. Schuppan，Viktor:用时间相关性信息增强LTL的不满意核心（2016）
3. C、 Dunchev，A.Leitsch，T.Libal，M.Riener，M.Rukhaia，D.Weller，B.Woltzenlogel Palo:校对工具：GAPT框架的图形用户界面（2013）阿尔十四
4. 阿斯皮纳尔，大卫；丹尼，埃文；吕思，克里斯托夫：分层证明的策略（2010）
5. 阿斯皮纳尔，大卫；奥特西耶，谢尔盖；吕思，克里斯托夫；Wagner，Marc:走向合并Plat（\Omega）和PGIP（2009）ioport公司
6. 瓦格纳，马克；奥特西耶，谢尔盖；Benzmüller，Christoph:\textscPlat（\Omega）：文本编辑器和校对辅助系统之间的调解人（2007）
7. 布赫伯格，布鲁诺；阿德里安，Crǎciun；犹太，都铎王朝；科瓦茨，劳拉；特穆尔库兹亚；中川、高知；弗洛里娜；波波夫，尼古拉；机器人，朱迪；罗森克兰兹，马库斯；温斯泰格，沃尔夫冈：走向计算机辅助数学理论探索（2006）
8. 西格曼，Jörg；本斯米勒，克里斯托夫；Autexier，Serge:计算机支持的数学与（\Omega）MEGA（2006）
9. 西格曼，Jörg；Benzmüller，Christoph:（\Omega）MEGA:计算机支持的数学（2004）
10. 西克曼，J。；本兹米勒，C。；费德勒，A。；梅尔，A。；Pollet，M.：用（\Omega）MEGA:（\sqrt2）证明开发是不合理的（2002）