艾苏贝汀坎;特夫菲克·布尔坦 使用验证设计的高可靠性并发编程。 （英语） Zbl 1121.68027号 正式Asp。计算。 19，第2期，243-268（2007）.MSC公司：68号30 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Betin-Can}和\textit{T.Bultan}，正式Asp。计算。19，第243-268号（2007年；兹bl 1121.68027） 全文： DOI程序
丹尼斯·R·达姆。;Kedar S.Namjoshi。 猎户座：C和C++程序静态错误分析的高精度方法。 （英语） Zbl 1196.68039号 de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2005年11月1日至4日，荷兰阿姆斯特丹，第四届国际研讨会，FMCO 2005。修订的讲座。柏林：施普林格出版社（ISBN 3-540-36749-7/pbk）。计算机科学讲义4111，138-160（2006）。MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Dams}和\textit{K.S.Namjoshi}，莱克特。注释计算。科学。4111、138--160（2006；Zbl 1196.68039） 全文： DOI程序
曼达纳州瓦齐里;丹尼尔·杰克逊 使用约束解算器检查堆操作过程的属性。 （英语） Zbl 1031.68518号 Garavel，Hubert（编辑）等人，《系统构建和分析的工具和算法》。2003年4月7日至11日在波兰华沙举行的2003年第9届TACAS国际会议，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2619, 505-520 (2003).MSC公司：68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Vaziri}和\textit{D.Jackson}，莱克特。注释计算。科学。2619505--520（2003年；Zbl 1031.68518） 全文： 链接