Böhme,萨沙;米查·莫斯卡尔;沃尔夫拉姆·舒尔特;沃尔夫,伯克哈特 HOL Boogie–用于验证C编译器的交互式证明程序后端。 (英语) Zbl 1185.68211号 J.汽车。推理 44,编号1-2,111-144(2010).MSC公司:68N20型 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.Böhme}等人,J.Autom。推理44,No.1--2,111--144(2010;Zbl 1185.68211) 全文: 内政部
佩里·詹姆斯。;帕特里斯·沙林 更快、更完整的Java建模语言扩展静态检查。 (英语) Zbl 1185.68143号 J.汽车。推理 44,编号1-2,145-174(2010).MSC公司:68甲15 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{P.R.James}和textit{P.Chalin},J.Autom。推理44,No.1--2,145--174(2010;Zbl 1185.68143) 全文: 内政部