conf.researchr.org / Liangze Yin
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 |