conf.researchr.org / Guian Zhou
Not registered as user yet
Name: Guian Zhou
Affiliation: Nanjing University, China
Contributions
| ESEC/FSE 2020 | Author of C2S: Translating Natural Language Comments to Formal Program Specifications within the Research Papers-track |