朱利安·布莱恩;劳雷·贡诺德;戴维·莫尼奥 数据抽象:处理数据结构的程序验证的通用框架。 (英语) Zbl 1497.68108号 Drágoi,Cezara(编辑)等人,《静态分析》。第28届国际研讨会,SAS 2021,芝加哥,伊利诺伊州,美国,2021年10月17日至19日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12913, 215-235 (2021).MSC公司:68号30 68第05页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Braine}等人,Lect。注释计算。科学。12913、215——235(2021年;Zbl 1497.68108) 全文: 内政部 哈尔
戴维·莫尼奥 满意度模理论综述。 (英语) Zbl 1453.68116号 Gerdt,Vladimir P.(编辑)等人,《科学计算中的计算机代数》。2016年9月19-23日在罗马尼亚布加勒斯特举行的2016年中国社会科学院第18届国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9890, 401-425 (2016).MSC公司:68兰特 03B70号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.Monniaux},莱克特。注释计算。科学。9890401-425(2016;Zbl 1453.68116) 全文: 内政部 arXiv公司
戴维·莫尼奥;皮埃尔·科尔比诺 关于退化案件中Positivstellenstz证人的生成。 (英语) Zbl 1342.68296号 Van Eekelen,Marko(编辑)等,交互式定理证明。2011年8月22日至25日,荷兰卑尔根达尔,第二届国际会议,ITP 2011。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22862-9/pbk)。计算机科学课堂讲稿6898,249-264(2011)。MSC公司:第68页第15页 03C10号机组 第12天15 PDF格式BibTeX公司 XML格式引用 \textit{D.Monniaux}和\textit{P.Corbineau},莱克特。注释计算。科学。6898、249--264(2011;Zbl 1342.68296) 全文: 内政部 arXiv公司