大卫·J·皮尔斯。；马克·乌廷；格罗夫斯，林赛 使用Boogie验证Whiley程序。 （英语） Zbl 1512.68059号 J.汽车。推理 66，第4期，747-803（2022）.MSC公司：68号30 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Pearce}等人，J.Autom。推理66，No.4，747--803（2022；Zbl 1512.68059） 全文： 内政部
杰克·J·加泽拉。；马雷克·巴拉诺夫斯基；何绍波；茨沃尼米尔·拉卡马里奇 利用编译器中间表示进行多语言和跨语言验证。 （英语） Zbl 1451.68071号 Beyer，Dirk（编辑）等人，《验证、模型检查和抽象解释》。第21届国际会议，VMCAI 2020，美国洛杉矶新奥尔良，2020年1月16-21日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11990, 90-111 (2020).MSC公司：68N20型 68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.J.Garzella}等人，Lect。注释计算。科学。11990，90-111（2020；Zbl 1451.68071） 全文： 内政部