西尔维·博尔多;克劳德·马奇 数字程序的形式验证:从C注释程序到机械证明。 (英语) Zbl 1264.68054号 数学。计算。科学。 5,第4期,377-393(2011).MSC公司:68号30 60年第68季度 68甲15 6504年 PDF格式BibTeX公司 XML格式引用 \textit{S.Boldo}和\textit{C.Marché},数学。计算。科学。5,第4号,377--393(2011;Zbl 1264.68054) 全文: 内政部 哈尔
阮,Thi Minh Tuyen;克劳德·马奇 数值程序的硬件相关证明。 (英语) Zbl 1350.68241号 Jouannaud,Jean-Pierre(编辑)等人,《认证程序和证明》。2011年12月7日至9日在台湾垦丁举行的CPP 2011第一届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-25378-2/pbk)。计算机科学课堂讲稿7086,314-329(2011)。MSC公司:68吨15 68号30 60年第68季度 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{T.M.T.Nguyen}和\textit{C.Marché},Lect。注释计算。科学。7086、314--329(2011;Zbl 1350.68241) 全文: 内政部 哈尔