Heo,Kihong先生;哦,哈乔;杨红seok 从静态分析生成的标记数据中学习Octagon的分析策略和上下文敏感性。 (英语) Zbl 1425.68070号 形式方法系统。设计。 第53页,第2期,189-220页(2018年).MSC公司:68号30 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{K.Heo}等人,《形式方法系统》。设计。53,第2号,189--220(2018;Zbl 1425.68070) 全文: 内政部
Lee,Oukseh先生;杨红seok;拉斯穆斯·彼得森 用于分析重叠数据结构的分治方法。 (英语) Zbl 1284.68407号 形式方法系统。设计。 41,第1期,4-24(2012).MSC公司:60年第68季度 68第05页 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{O.Lee}等人,《形式方法系统》。设计。41、第1、4--24号(2012;Zbl 1284.68407) 全文: 内政部