Not registered as user yet

Name: Liangze Yin

Affiliation: National University of Defense Technology

Contributions

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