conf.researchr.org / Chun Huang
Not registered as user yet
Name:Chun Huang
Affiliation:National University of Defense Technology
Contributions
| ICSE 2020 | Author of Symbolic Verification of Message Passing Interface Programs within the Technical Papers-track |