Böhme,萨沙;米查·莫斯卡尔;沃尔夫拉姆·舒尔特;沃尔夫,伯克哈特 HOL-Boogie–用于验证C编译器的交互式证明后端。 (英语) Zbl 1185.68211号 J.汽车。推理 44,编号1-2111-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) 全文: 内政部
多米尼克·迪特里希;埃瓦里斯特·舒尔茨 Crystal:将结构化查询集成到策略语言中。 (英语) Zbl 1185.68618号 J.汽车。推理 44,编号1-279-110(2010).MSC公司:68吨15 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{D.Dietrich}和\textit{E.Schulz},J.Autom。推理44,No.1--2,79-110(2010;Zbl 1185.68618) 全文: 内政部
费卢西奥·圭迪 CIC证明条款的程序表示。 (英语) Zbl 1185.68622号 J.汽车。推理 44,编号1-2,53-78(2010).MSC公司:68吨15 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{F.Guidi},J.Autom(美国汽车制造商协会)。推理44,No.1--2,53-78(2010;Zbl 1185.68622) 全文: 内政部
克劳迪奥·萨塞尔多蒂·科恩 证明条款的声明性表示。 (英语) Zbl 1185.68633号 J.汽车。推理 44,编号1-2,25-52(2010).MSC公司:68吨15 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{C.Sacerdoti Coen},J.Autom(美国汽车制造商协会)。推理44,No.1-2,25-52(2010;Zbl 1185.68633) 全文: 内政部
贾尼契奇,普雷德拉格 几何构造语言。 (英语) Zbl 1185.68626号 J.汽车。推理 44,编号1-2,3-24(2010).MSC公司:68吨15 2004年5月5日 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{P.Janić},J.Autom。推理44,No.1--2,3--24(2010;Zbl 1185.68626) 全文: 内政部
佩里·詹姆斯。;帕特里斯·沙林 更快、更完整的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) 全文: 内政部
雅克·卡雷特(编辑);马卡里乌斯·温策尔(编辑);弗里克·威迪杰克(编辑) 特刊:编程语言和机械化数学系统(PLMMS)。论文选自2007年6月29日至30日在奥地利哈根堡和2008年7月29日在英国伯明翰举行的研讨会上的演讲。 (英语) Zbl 1254.68018号 J.汽车。推理44,第1-2期,174页。(2010). MSC公司:68-06 68甲15 68N17号 00B25型 PDF格式BibTeX公司 XML格式