Nishant Totla公司;托马斯·怀斯 完成基于实例化的插值。 (英语) 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) 全文: 内政部 链接
Jochen Hoenicke公司;Leino,K.Rustan M。;安德烈亚斯·波德尔斯基;马丁·施瓦夫;托马斯·怀斯 末日计划点数。 (英语) Zbl 1211.68090号 形式方法系统。设计。 37,第2-3号,171-199(2010).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hoenicke}等人,《形式方法系统》。设计。37,No.2--3,171--199(2010;Zbl 1211.68090) 全文: 内政部