Zewen Ding

支持抽象解释的静态分析方法的形式化体系研究 (Research on Static Analysis Formalism Supporting Abstract Interpretation)

Chi Zhang, Zhiqiu Huang, Zewen Ding, 2017, 计算机科学.