Rajeev Alur, Rastislav Bodík, Eric Dallal, Dana Fisman, Pranav Garg 0001, Garvit Juniwal, Hadas Kress-Gazit, P. Madhusudan, Milo M. K. Martin, Mukund Raghothaman, Shamwaditya Saha, Sanjit A. Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, Abhishek Udupa. Syntax-Guided Synthesis. In Maximilian Irlbeck, Doron Peled, Alexander Pretschner, editors, Dependable Software Systems Engineering. Volume 40 of NATO Science for Peace and Security Series, D: Information and Communication Security, pages 1-25, IOS Press, 2015. [doi]
@incollection{AlurBDF0JKMMRSSSSTU15,
title = {Syntax-Guided Synthesis},
author = {Rajeev Alur and Rastislav Bodík and Eric Dallal and Dana Fisman and Pranav Garg 0001 and Garvit Juniwal and Hadas Kress-Gazit and P. Madhusudan and Milo M. K. Martin and Mukund Raghothaman and Shamwaditya Saha and Sanjit A. Seshia and Rishabh Singh and Armando Solar-Lezama and Emina Torlak and Abhishek Udupa},
year = {2015},
doi = {10.3233/978-1-61499-495-4-1},
url = {http://dx.doi.org/10.3233/978-1-61499-495-4-1},
researchr = {https://researchr.org/publication/AlurBDF0JKMMRSSSSTU15},
cites = {0},
citedby = {0},
pages = {1-25},
booktitle = {Dependable Software Systems Engineering},
editor = {Maximilian Irlbeck and Doron Peled and Alexander Pretschner},
volume = {40},
series = {NATO Science for Peace and Security Series, D: Information and Communication Security},
publisher = {IOS Press},
isbn = {978-1-61499-495-4},
}