哈尼尔·巴博萨;安德鲁·雷诺兹;基里恩·克莱默;汉娜·拉奇尼特;艾娜·尼梅茨;安德烈斯·诺兹利;亚历克斯·奥兹德米尔;马蒂亚斯·普雷纳;阿琼·维斯瓦纳坦;斯科特·维特里;尤尼·佐哈尔;塞萨尔·蒂内利;克拉克·巴雷特 在工业级SMT解决方案中进行灵活的验证生产。 (英语) Zbl 07628179号 Blanchette,Jasmin(编辑)等人,《自动推理》。2022年8月8日至10日,以色列海法,第11届国际联合会议,IJCAR 2022。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13385,15-35(2022)。MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{H.Barbosa}等人,Lect。注释计算。科学。13385,15--35(2022;Zbl 07628179) 全文: 内政部
安德鲁·雷诺兹;阿琼·维斯瓦纳坦;哈尼尔·巴博萨;塞萨尔·蒂内利;克拉克·巴雷特 具有共享选择器的数据类型。 (英语) Zbl 1511.68175号 Galmiche,Didier(编辑)等人,《自动推理》。2018年7月14日至17日在英国牛津举行的第九届国际联合会议IJCAR 2018,作为联邦逻辑会议的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10900, 591-608 (2018).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{A.Reynolds}等人,Lect。注释计算。科学。10900,591--608(2018;Zbl 1511.68175) 全文: 内政部