陈,冉;马丁·克鲁查德;克劳德·马奇 一种经过正式证明的符号链接路径解析完整算法。 (英语) Zbl 1451.68171号 J.福尔马利兹。原因。 10, 51-66 (2017).MSC公司:60年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{R.Chen}等人,J.Formaliz。原因。10、51-66(2017;Zbl 1451.68171) 全文: 内政部
约翰·哈里森(编辑);约瑟夫·乌尔班(编辑);弗里克·威迪杰克(编辑) 前言:QED宣言二十年。 (英语) 兹比尔1448.68032 J.福尔马利兹。原因。 9,第1期,第1-2期(2016年).MSC公司:68-06 68伏15 68V20型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Harrison}(编辑)等,J.Formaliz。原因。9,第1号,1--2号(2016;Zbl 1448.68032) 全文: 内政部
阿伦斯,贝内迪克特;朱莉安娜·兹多 中高阶类型语法的初始语义Coq公司. (英语) Zbl 1451.68312号 J.福尔马利兹。原因。 4,第1期,25-69(2011).MSC公司:68伏15 18 C50 68号30 68问题55 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Ahrens}和\textit{J.Zsido},J.Formaliz。原因。4、编号1、25--69(2011;Zbl 1451.68312) 全文: 内政部 arXiv公司
巴特勒、瑞奇·韦恩 PVS定理证明器中积分的形式化。 (英语) Zbl 1175.68410号 J.福尔马利兹。原因。 2,第1期,1-26页(2009年).MSC公司:68吨15 26-04 PDF格式BibTeX公司 XML格式引用 \textit{R.W.Butler},J.Formaliz。原因。2,第1号,1--26(2009;Zbl 1175.68410) 全文: 链接