![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
BibTeX record conf/sigsoft/ZhaiSPZLFM0020
@inproceedings{DBLP:conf/sigsoft/ZhaiSPZLFM0020, author = {Juan Zhai and Yu Shi and Minxue Pan and Guian Zhou and Yongxiang Liu and Chunrong Fang and Shiqing Ma and Lin Tan and Xiangyu Zhang}, editor = {Prem Devanbu and Myra B. Cohen and Thomas Zimmermann}, title = {{C2S:} translating natural language comments to formal program specifications}, 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}, pages = {25--37}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3368089.3409716}, doi = {10.1145/3368089.3409716}, timestamp = {Tue, 07 May 2024 20:09:15 +0200}, biburl = {https://dblp.org/rec/conf/sigsoft/ZhaiSPZLFM0020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.