布莱恩，马丁;维杰·德·席尔瓦;阿尔贝托·格里乔;利奥波德·哈勒;丹尼尔·克罗宁 利用抽象冲突驱动子句学习确定浮点逻辑。 （英文） Zbl 1317.68110号 形式方法系统。设计。 45，第2期，213-245（2014）.MSC公司：60年第68季度 68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Brain}等人，《形式方法系统》。设计。45，第2号，213--245（2014；Zbl 1317.68110） 全文： 内政部
李国栋;罗伯特·帕尔默;迈克尔·德利西;加内什·戈帕拉克里什南;罗伯特·M·柯比。 MPI 2.0的形式化规范：指定实用并发编程API的案例研究。 （英文） Zbl 1209.68111号 科学。计算。程序。 76，第2期，65-81（2011）.MSC公司：68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Li}等人，科学。计算。程序。76，No.2，65--81（2011；Zbl 1209.68111） 全文： 内政部
安吉洛·布里洛特;何楠楠;米歇尔，马祖奇;丹尼尔·克罗宁;米特拉·普兰达尔;菲利普·吕默;乔治·威森巴赫 Simulink模型基于变异的测试用例生成。 （英文） Zbl 1312.68130号 de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。第八届国际研讨会，2009年FMCO，荷兰埃因霍温，2009年11月4-6日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17070-6/pbk）。计算机科学课堂讲稿6286208-227（2010）。MSC公司：60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit｛A.Brillout｝等人，Lect。注释计算。科学。6286208--227（2010年；Zbl 1312.68130） 全文： 内政部
尼古拉斯·朱利安;爱荷华州帕什卡 使用牛顿方法对精确计算进行形式验证。 （英文） Zbl 1252.68258号 Berghofer，Stefan（编辑）等人，《高阶逻辑中的定理证明》。2009年8月17日至20日在德国慕尼黑举行的第22届TPHOL国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03358-2/pbk）。计算机科学讲座笔记5674，408-423（2009）。MSC公司：68吨15 65小时05 PDF格式BibTeX公司 XML格式引用 \textit{N.朱利安}和\textit{I.帕什卡}，莱克特。注释计算。科学。5674408--423（2009年；Zbl 1252.68258） 全文： 内政部 链接