Syntax-Guided Synthesis

TitleSyntax-Guided Synthesis
Publication TypeBook Chapter
Year of Publication2015
AuthorsAlur, R, Bodík, R, Dallal, E, Fisman, D, Garg, P, Juniwal, G, Kress-Gazit, H, Madhusudan, P, Martin, MMK, Raghothaman, M, Saha, S, Seshia, SA, Singh, R, Solar-Lezama, A, Torlak, E, Udupa, A
Book TitleDependable Software Systems Engineering
Pagination1–25
URLhttp://dx.doi.org/10.3233/978-1-61499-495-4-1
DOI10.3233/978-1-61499-495-4-1