马克·瓦格纳;谢尔盖·奥特西尔;克里斯托夫·本穆勒 小块地{\(\Omega\)}:文本编辑器和证据辅助系统之间的中介。 (英语) Zbl 1278.68284号 Autexier,Serge(编辑)等人,第七届定理证明器用户界面研讨会论文集(UITP 2006),西雅图,华盛顿州,美国,2006年8月21日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》174,第2期,87-107(2007)。MSC公司:68吨15 68立方英尺 68单位15 PDF格式BibTeX公司 XML格式引用 \textit{M.Wagner}等人,《电子》。理论注释。计算。科学。174,第2号,87--107(2007;Zbl 1278.68284) 全文: DOI程序
Paul Z.科拉诺。 使用交互式定理证明器为实时系统提供证明帮助。 (英语) Zbl 0997.68128号 西奥。计算。科学。 282,第1期,53-99(2002).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \文本{P.Z.Kolano},Theor。计算。科学。282,编号1,53--99(2002;Zbl 0997.68128) 全文: DOI程序