文森佐·阿塞里;马蒂娜·奥利亚罗;阿戈斯蒂诺Cortesi;皮埃特罗·费拉拉 关系字符串抽象域。 （英语） Zbl 1498.68070号 Finkbeiner，Bernd（编辑）等人，《验证、模型检查和抽象解释》。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13182, 20-42 (2022).MSC公司：68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{V.Arceri}等人，Lect。注释计算。科学。13182，20--42（2022；Zbl 1498.68070） 全文： 内政部
图沙尔·沙尔马;代表，托马斯 仿射变换的新抽象框架。 （英语） Zbl 1425.68084号 形式方法系统。设计。 54，第1期，110-143（2019）.MSC公司：68纳米30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Sharma}和\textit{T.Reps}，表单方法系统。设计。54，编号1，110--143（2019；Zbl 1425.68084） 全文： 内政部 链接
丹尼尔·迪特施;马蒂亚斯·海兹曼;Jochen Hoenicke公司;亚历山大·纳茨;安德烈亚斯·波德尔斯基 映射相等域。 （英语） 兹比尔1403.68039 Piskac、Ruzica（编辑）等人，《验证软件》。理论、工具和实验。第十届国际会议，2018年7月18日至19日，英国牛津，VSTTE 2018。修订了选定的论文。查姆：施普林格（ISBN 978-3-030-03591-4/pbk；978-3-0.30-03592-1/电子书）。计算机科学课堂讲稿11294，291-308（2018）。MSC公司：68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{D.Dietsch}等人，Lect。注释计算。科学。11294、291--308（2018；Zbl 1403.68039） 全文： 内政部