安德鲁·W·阿佩尔。;泽维尔·勒罗伊 有效的外延二进制尝试。 (英语) Zbl 07695711号 J.汽车。推理 67,第1号,第8号论文,27页(2023年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Appel}和\textit{X.Leroy},J.Autom。推理67,第1号,第8号论文,第27页(2023;Zbl 07695711) 全文: 内政部 arXiv公司 哈尔
王钦石;安德鲁·W·阿佩尔。 具有串联的数组的解算器。 (英语) 兹伯利07695707 J.汽车。推理 67,第1号,第4号论文,第31页(2023年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Q.Wang}和\textit{A.W.Appel},J.Autom。推理67,第1号,第4号论文,第31页(2023;Zbl 07695707) 全文: 内政部
曹勤祥;伦纳特·贝林格;塞缪尔·格鲁特;约西亚·多兹;安德鲁·W·阿佩尔。 VST-Floyd:用于验证C程序正确性的分离逻辑工具。 (英语) Zbl 1451.68169号 J.汽车。推理 61,编号1-4,367-422(2018).MSC公司:60年第68季度 03B70号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Q.Cao}等人,J.Autom。推理61,No.1--4367--422(2018;Zbl 1451.68169) 全文: 内政部 链接
安德鲁·W·阿佩尔。;罗伯特·多金斯;泽维尔·勒罗伊 机械化元理论的列表机器基准。 (英语) Zbl 1260.68362号 J.汽车。推理 49,第3期,453-491(2012).MSC公司:68吨15 68甲15 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Appel}等人,J.Autom。推理49,No.3,453--491(2012;Zbl 1260.68362) 全文: 内政部 哈尔
安德鲁·W·阿佩尔。;Michael,新植物;阿伦·斯塔姆;罗伯托·维尔加 值得信赖的校对员。 (英语) Zbl 1069.68596号 J.汽车。推理 31,编号3-4,231-260(2003).MSC公司:68吨15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.W.Appel}等人,J.Autom。推理31,No.3--4,231--260(2003;Zbl 1069.68596) 全文: 内政部