托特拉,尼桑特;托马斯·怀斯 完成基于实例化的插值。 (英语) Zbl 1356.68203号 J.汽车。推理 57,第1号,37-65(2016).MSC公司:68吨15 03C40号 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Totla}和\textit{T.Wies},J.Autom。推理57,No.1,37--65(2016;Zbl 1356.68203) 全文: 内政部 链接
玛丽亚·乔昂·弗雷德;豪尔赫·索萨·品托 源级命令程序的验证条件。 (英语) 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) 全文: 内政部 链接
克里斯托弗·林奇;西尔维奥·拉尼斯;克里斯托夫·林盖森;德坎·特兰 自动判定和组合。 (英语) Zbl 1216.68163号 Inf.计算。 209,第7期,1026-1047(2011).MSC公司:60年第68季度 68吨15 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.Lynch}等人,《信息计算》。209,第7号,1026--1047(2011;Zbl 1216.68163) 全文: 内政部
马蒂亚斯·乌尔布里奇 一种用于具有嵌入式断言的非结构化程序的动态逻辑。 (英语) Zbl 1308.68050号 Beckert,Bernhard(编辑)等人,面向对象软件的形式验证。国际会议,FoVeOOS 2010,法国巴黎,2010年6月28日至30日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-18069-9/pbk)。计算机科学课堂讲稿6528,168-182(2011)。MSC公司:68号30 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Ulbrich},莱克特。注释计算。科学。6528168-182(2011年;兹比尔1308.68050) 全文: 内政部