阿列克谢·戈茨曼;Yang,宏石 抢占式操作系统内核的模块化验证。 (英语) Zbl 1311.68043号 J.功能。程序。 23,第4期,452-514(2013).MSC公司:68甲18 60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Gotsman}和\textit{H.Yang},J.Funct。程序。23,第4号,452--514(2013;Zbl 1311.68043) 全文: 内政部
尼基尔·斯瓦米;陈,胡安;塞德里克·Fornet;Pierre-Yves支柱;卡尔蒂基扬·巴尔干;杨吉恩 使用值相关类型保护分布式编程。 (英语) Zbl 1290.68033号 J.功能。程序。 23,第4期,402-451(2013).MSC公司:第68页第19页 68甲18 68号30 68甲15 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{N.Swamy}等人,J.Funct。程序。23,第4号,402--451(2013;Zbl 1290.68033) 全文: 内政部
乔治·戈蒂尔;贝塔·齐利安尼;阿列克桑达尔·纳内夫斯基;德雷克·德雷尔 如何使即席证明自动化减少即席性。 (英语) Zbl 1314.68281号 J.功能。程序。 23,第4期,357-401(2013). 审核人:Temur Kutsia(林茨) MSC公司:第68页第15页 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{G.Gonthier}等人,J.Funct。程序。23,第4号,357--401(2013;Zbl 1314.68281) 全文: 内政部
浅井,肯尼奇(编辑);本杰明·皮尔斯(编辑) 2011年ICFP专刊,社论。 (英语) Zbl 1298.00215号 J.功能。程序。 23,第4期,355-356(2013).MSC公司:00B25型 68-06 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{K.Asai}(编辑)和\textit{B.Pierce}(主编),J.Funct。程序。23,编号4,355--356(2013;Zbl 1298.00215) 全文: 内政部