刘江超;对手,泽维尔 基于非连续分区的数组内容静态分析。 (英语) Zbl 1379.68096号 计算。语言系统。结构。 47,第1部分,104-129(2017).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Liu}和\textit{X.对手},计算。语言系统。结构。47,第1部分,104--129(2017;Zbl 1379.68096) 全文: 内政部 哈尔
帕特里克·库索特;拉迪亚·库索特;杰罗姆·费雷特;劳伦特·莫博涅;安托万·米内;对手,泽维尔 为什么阿斯特雷要扩大规模? (英语) Zbl 1185.68241号 形式方法系统。设计。 35,第3期,229-264(2009).MSC公司:68N99型 PDF格式BibTeX公司 XML格式引用 \textit{P.Cousot}等人,《形式方法系统》。设计。35,第3号,229--264(2009;Zbl 1185.68241) 全文: 内政部