托拜厄斯·隆格;塔比亚·博迪斯;亚历克斯·波坦;托马斯·图姆;谢弗,伊纳 灵活的正确施工规划。 (英语) Zbl 07731927号 日志。方法计算。科学。 19,第2号,第16号论文,36页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Runge}等人,日志。方法计算。科学。19,第2号,第16号论文,36页(2023;Zbl 07731927) 全文: 内政部 arXiv公司
迈克尔·克里斯滕森;约瑟夫·麦克马汉;劳顿·尼科尔斯;贾里德·罗埃什;蒂莫西·舍伍德;本·哈德科夫 通过完整性类型和经验证的组件实现安全功能系统。 (英语) 兹比尔1477.68030 西奥。计算。科学。 851,39-61(2021).MSC公司:2007年7月68日 68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Christensen}等人,Theor。计算。科学。851,39-61(2021;Zbl 1477.68030) 全文: 内政部
Leino,K.Rustan M。;帕基·卢西奥 自然Mergesort稳定性和正确性的断言证明。 (英语) Zbl 1367.68080号 ACM事务处理。计算。日志。 17,第1号,第6条,22页(2015年).MSC公司:68页第10页 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{K.R.M.Leino}和\textit{P.Lucio},ACM Trans。计算。日志。17,第1号,第6条,22页(2015;Zbl 1367.68080) 全文: 内政部
本杰明·韦伊 程序逻辑演算中的谓词抽象。 (英语) Zbl 1221.68066号 科学。计算。程序。 76,第10号,861-876(2011).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Weiß},科学。计算。程序。76,第10号,861--876(2011;Zbl 1221.68066) 全文: 内政部