Write a Blog >>

Not registered as user yet

Name: Guian Zhou

Affiliation: Nanjing University, China

Contributions

ESEC/FSE 2020 C2S: Translating Natural Language Comments to Formal Program Specifications
Show activities from other conferences

ESEC/FSE 2020-profile
View general profile