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