塞皮德·阿萨迪;马丁·布利查;安蒂·E·J·海瓦·里宁。;格里戈里·费迪尤科维奇;娜塔莎·莎莉吉娜 通过概要修复对基于SMT的程序更改进行验证。 （英语） Zbl 07757154号 形式方法系统。设计。 60，第3号，350-380（2022）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Asadi}等人，《形式方法系统》。设计。60，编号3，350-380（2022；兹bl 07757154） 全文： DOI程序 OA许可证
玛丽·克里斯汀·雅各布斯 在值分析中重用谓词精度。 （英语） Zbl 1502.68079号 ter Beek，Maurice H.（编辑）等，《综合形式方法》。2022年6月7日至10日，第17届国际会议，IFM 2022，瑞士卢加诺。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13274, 63-85 (2022).MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.-C.雅各布斯}，莱克特。注释计算。科学。13274，63-85（2022；Zbl 1502.68079） 全文： DOI程序