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 |