Zewen Ding

According to our database, Zewen Ding authored at least 1 paper in 2017.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

2017

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

Chi Zhang, Zhiqiu Huang, Zewen Ding

计算机科学, 2017