Zhai, Juan, Shi, Yu, Pan, Minxue, Zhou, Guian, Liu, Yongxiang, Fang, Chunrong, Ma, Shiqing, Tan, Lin, and Zhang, Xiangyu. C2S: translating natural language comments to formal program specifications. Retrieved from https://par.nsf.gov/biblio/10252729. Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering . Web. doi:10.1145/3368089.3409716.

Zhai, Juan, Shi, Yu, Pan, Minxue, Zhou, Guian, Liu, Yongxiang, Fang, Chunrong, Ma, Shiqing, Tan, Lin, & Zhang, Xiangyu. C2S: translating natural language comments to formal program specifications. Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, (). Retrieved from https://par.nsf.gov/biblio/10252729. https://doi.org/10.1145/3368089.3409716

Zhai, Juan, Shi, Yu, Pan, Minxue, Zhou, Guian, Liu, Yongxiang, Fang, Chunrong, Ma, Shiqing, Tan, Lin, and Zhang, Xiangyu. "C2S: translating natural language comments to formal program specifications". Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (). Country unknown/Code not available. https://doi.org/10.1145/3368089.3409716. https://par.nsf.gov/biblio/10252729.

@article{osti_10252729,
place = {Country unknown/Code not available}, title = {C2S: translating natural language comments to formal program specifications}, url = {https://par.nsf.gov/biblio/10252729}, DOI = {10.1145/3368089.3409716}, abstractNote = {}, journal = {Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering}, author = {Zhai, Juan and Shi, Yu and Pan, Minxue and Zhou, Guian and Liu, Yongxiang and Fang, Chunrong and Ma, Shiqing and Tan, Lin and Zhang, Xiangyu}, editor = {null} }