Not registered as user yet

Name: Yongxiang Liu

Affiliation: Nanjing University, China

Contributions

ESEC/FSE 2020 Author of C2S: Translating Natural Language Comments to Formal Program Specifications within the Research Papers-track