Not registered as user yet

Name:Zhenhua Duan
Country:China
Affiliation:Xidian University

Contributions

ESEC/FSE 2021 Author of Conditional Interpolation: Making Concurrent Program Verification More Effective within the Research Papers-track