Not registered as user yet

Name: Banghu Yin

Affiliation: National University of Defense Technology

Contributions

ICSE 2019Author of Property Oriented Verification via Iterative Abstract Interpretation within the ACM Student Research Competition-track