奥利·萨里基维;凯乔·赫尔扬科 LCTD:LLVM上C程序的测试指导证明。 (英语) Zbl 1392.68149号 J.日志。阿尔盖布。方法计划。 85,第6期,1292-1317(2016).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{O.Saarikivi}和\textit{K.Heljanko},J.日志。阿尔盖布。方法计划。85,第6号,1292--1317(2016;Zbl 1392.68149) 全文: 内政部
弗朗切斯科·阿尔贝蒂;罗伯特·布鲁托梅索;西尔维奥·吉拉尔迪;西尔维奥·兰伊斯;娜塔莎·莎莉吉娜 带有数组的程序的惰性抽象的一种扩展,带有插值。 (英语) Zbl 1317.68107号 形式方法系统。设计。 45,第1期,63-109(2014).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Alberti}等人,Form.Methods Syst。设计。45,编号1,63--109(2014;Zbl 1317.68107) 全文: 内政部 链接