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]
Abstract is missing.