Juan Zhai, Yu Shi, Minxue Pan, Guian Zhou, Yongxiang Liu, Chunrong Fang, ShiQing Ma, Lin Tan 0001, Xiangyu Zhang 0001. C2S: translating natural language comments to formal program specifications. In Prem Devanbu, Myra B. Cohen, Thomas Zimmermann 0001, editors, ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020. pages 25-37, ACM, 2020. [doi]
@inproceedings{ZhaiSPZLFM0020, title = {C2S: translating natural language comments to formal program specifications}, author = {Juan Zhai and Yu Shi and Minxue Pan and Guian Zhou and Yongxiang Liu and Chunrong Fang and ShiQing Ma and Lin Tan 0001 and Xiangyu Zhang 0001}, year = {2020}, doi = {10.1145/3368089.3409716}, url = {https://doi.org/10.1145/3368089.3409716}, researchr = {https://researchr.org/publication/ZhaiSPZLFM0020}, cites = {0}, citedby = {0}, pages = {25-37}, booktitle = {ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020}, editor = {Prem Devanbu and Myra B. Cohen and Thomas Zimmermann 0001}, publisher = {ACM}, isbn = {978-1-4503-7043-1}, }