J.Bacelar阿尔梅达;曼纽尔·巴博萨;Jorge S.平托。;巴巴拉·维埃拉 使用自组合对副通道对策进行形式验证。 （英语） Zbl 1284.68158号 科学。计算。程序。 78，第7期，796-812（2013）.MSC公司：68号30 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.B.Almeida}等人，科学。计算。程序。78，第7号，796--812（2013；Zbl 1284.68158） 全文： 内政部
阮，Thi Minh Tuyen;克劳德·马奇 数值程序的硬件相关证明。 （英语） 兹比尔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é}，莱克特。注释计算。科学。7086、314--329（2011；Zbl 1350.68241） 全文： 内政部 哈尔