多雷尔·卢卡努；弗拉德·鲁苏；安德烈·阿鲁索艾 符号执行的通用框架：共创方法。 （英语） 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） 全文： 内政部 哈尔
罗曼·艾萨特；弗雷德里克·沃伊辛；沃尔夫，伯克哈特 通过符号执行技术消除不可行的路径。路径的正确性和保存证明。 （英语） 兹比尔1478.68140 Blanchette，Jasmin Christian（编辑）等，交互式定理证明。2016年8月22日至25日在法国南希举行的2016年ITP第七届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9807, 36-51 (2016).MSC公司：60年第68季度 68号30 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{R.Aissat}等人，Lect。注释计算。科学。9807,36-51（2016；Zbl 1478.68140） 全文： 内政部