帕特里克·库索特;拉迪亚·库索特;劳伦特·莫博涅 理论、求解器和通过抽象解释进行的静态分析。 (英语) Zbl 1281.68156号 美国临床医学杂志 59,第6号,第31条,56页(2012年).MSC公司:60年第68季度 68号30 68吨15 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cousot}et al.,J.ACM 59,No.6,Article No.31,56 P.(2012;Zbl 1281.68156) 全文: 内政部
托马斯·马丁·高利察;大卫·蒙尼厄 通过策略迭代在简洁表示的控制流图中生成不变量。 (英语) Zbl 1248.68142号 日志。方法计算。科学。 8,第3号,第29号论文,35页(2012年).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.M.Gawlitza}和\textit{D.Monniaux},日志。方法计算。科学。8,第3号,第29号文件,第35页(2012年;兹bl 1248.68142) 全文: 内政部 arXiv公司