@inproceedings{Alur_2013,
    doi = {10.1109/fmcad.2013.6679385},
    url = {https://doi.org/10.1109%2Ffmcad.2013.6679385},
    year = {2013},
    month = {oct},
    publisher = {{IEEE}},
    author = {Rajeev Alur and Rastislav Bodik and Garvit Juniwal and Milo M. K. Martin and Mukund Raghothaman and Sanjit A. Seshia and Rishabh Singh and Armando Solar-Lezama and Emina Torlak and Abhishek Udupa},
    title = {Syntax-guided synthesis},
    booktitle = {2013 Formal Methods in Computer-Aided Design}
}

@inproceedings{Alur_2013, doi = {10.1109/fmcad.2013.6679385}, url = {https://doi.org/10.1109%2Ffmcad.2013.6679385}, year = {2013}, month = {oct}, publisher = {{IEEE}}, author = {Rajeev Alur and Rastislav Bodik and Garvit Juniwal and Milo M. K. Martin and Mukund Raghothaman and Sanjit A. Seshia and Rishabh Singh and Armando Solar-Lezama and Emina Torlak and Abhishek Udupa}, title = {Syntax-guided synthesis}, booktitle = {2013 Formal Methods in Computer-Aided Design} }