多雷尔·卢卡努;弗拉德·鲁苏;安德烈·阿鲁索艾 符号执行的通用框架:共创方法。 (英语) Zbl 1356.68044号 J.塞姆。计算。 80,第1部分,125-163(2017).MSC公司:68号30 第68季度55 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{D.Lucanu}等人,J.Symb。计算。80,第1部分,125--163(2017;Zbl 1356.68044) 全文: 内政部 哈尔
巴特·雅各布斯;弗雷德里克·沃格尔;弗兰克·皮森斯 Featherweight VeriFast。 (英语) Zbl 1448.68221号 日志。方法计算。科学。 11,第3号,第19号论文,57页(2015).MSC公司:68号30 03B70号 68甲15 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Jacobs}等人,日志。方法计算。科学。11,第3号,第19号论文,57页(2015;Zbl 1448.68221) 全文: 内政部 arXiv公司