安德烈·特夫内斯库;斯蒂芬·乔布;拉杜·梅鲁塔;布兰登·摩尔;格里高·罗什乌;⑩erbnuṭ呃,Traian Florin 所有路径可达性逻辑。 (英语) Zbl 1421.68015号 日志。方法计算。科学。 15,第2号,第5号论文,23页(2019年).MSC公司:68号30 03B70号 68甲19 第68季度55 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.ötefnescu}等人,《日志》。方法计算。科学。15,第2号,第5号论文,第23页(2019年;Zbl 1421.68015) 全文: arXiv公司
Krzysztof R.阿普特。;De Boer,Frank S。;奥尔德罗格(Ernst-Rüdiger Olderog);De Gouw,施蒂恩 面向对象程序的验证:转换方法。 (英语) Zbl 1245.68062号 J.计算。系统。科学。 78,第3期,823-852(2012).MSC公司:68号30 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}等人,《计算杂志》。系统。科学。78,第3号,823--852(2012;Zbl 1245.68062) 全文: 内政部
玛丽亚·乔昂·弗雷德;豪尔赫·索萨·品托 源级命令程序的验证条件。 (英语) Zbl 1298.68171号 计算。科学。版次。 5,第3期,252-277(2011).MSC公司:60年第68季度 03B70号 68号30 68-02 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Frade}和\textit{J.S.Pinto},计算。科学。第5版,第3号,252--277(2011;Zbl 1298.68171) 全文: 内政部 链接
刘一静;邱宗燕;龙,权 WP语义和行为子类型。 (英语) Zbl 1351.68167号 Cerone,Antonio(编辑)等人,《计算的理论方面——ICTAC 2011》。第八届国际学术讨论会,南非约翰内斯堡,2011年8月31日至9月2日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-23282-4/pbk)。计算机科学课堂讲稿6916,154-172(2011)。MSC公司:60年第68季度 68甲19 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{Y.Liu}等人,Lect。注释计算。科学。6916、154--172(2011年;Zbl 1351.68167) 全文: 内政部
Gary T.Leavens。;Leino,K.Rustan M。;彼得·米勒 顺序面向对象程序的规范和验证挑战。 (英语) Zbl 1121.68074号 正式Asp。计算。 第2号第19页,第159-189页(2007年).MSC公司:60年第68季度 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{G.T.Leavens}等人,正式Asp。计算。19,第2号,159--189(2007;Zbl 1121.68074) 全文: 内政部 链接
Cees Pierik;De Boer,Frank S。 面向对象编程的证明大纲逻辑。 (英语) Zbl 1077.68018号 西奥。计算。科学。 343,第3期,413-442(2005).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{C.Pierik}和\textit{F.S.De Boer},Theor。计算。科学。343,第3号,413--442(2005;Zbl 1077.68018) 全文: 内政部
C·马奇。;Paulin-Mohring,C。;X·乌尔班。 用于认证JML中注释的JAVA/JAVACARD程序的KRAKATOA工具。 (英语) Zbl 1073.68678号 J.日志。阿尔盖布。程序。 58,编号1-2,89-106(2004).MSC公司:60年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{C.Marché}等人,J.Log。阿尔盖布。程序。58,编号1--2,89-106(2004;Zbl 1073.68678) 全文: 内政部