卓斯,克莱尔;Sylvain Conchon公司;约翰内斯·卡尼格;安德烈·帕斯科维奇 使用带有触发器的公理向SMT求解器添加决策过程。 (英语) Zbl 1356.68187号 J.汽车。推理 56,第4期,387-457(2016).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{C.Dross}等人,J.Autom。推理56,No.4,387--457(2016;Zbl 1356.68187) 全文: 内政部 哈尔
卓斯,克莱尔;Jean-Christophe Filliátre;扬尼克·莫伊 更正包含容器的代码。 (英语) Zbl 1335.68052号 Gogolla,Martin(编辑)等人,《测试与证明》。2011年6月30日至7月1日在瑞士苏黎世举行的2011年第五届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-21767-8/pbk)。计算机科学课堂讲稿6706102-118(2011)。MSC公司:68号30 68第05页 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Dross}等人,Lect。注释计算。科学。6706102-118(2011;Zbl 1335.68052) 全文: 内政部