Not registered as user yet

Name:Liangze Yin
Affiliation:National University of Defense Technology

Contributions

ICSE 2019 Author of Parallel Refinement for Multi-Threaded Program Verification within the Technical Track-track