BibTeX record series/natosec/AlurBDF0JKMMRSSSSTU15

• > Home > series/natosec/AlurBDF0JKMMRSSSSTU15

@incollection{DBLP:series/natosec/AlurBDF0JKMMRSSSSTU15,
  author       = {Rajeev Alur and
                  Rastislav Bod{\'{\i}}k and
                  Eric Dallal and
                  Dana Fisman and
                  Pranav Garg and
                  Garvit Juniwal and
                  Hadas Kress{-}Gazit and
                  P. Madhusudan and
                  Milo M. K. Martin and
                  Mukund Raghothaman and
                  Shambwaditya Saha and
                  Sanjit A. Seshia and
                  Rishabh Singh and
                  Armando Solar{-}Lezama and
                  Emina Torlak and
                  Abhishek Udupa},
  editor       = {Maximilian Irlbeck and
                  Doron A. Peled and
                  Alexander Pretschner},
  title        = {Syntax-Guided Synthesis},
  booktitle    = {Dependable Software Systems Engineering},
  series       = {{NATO} Science for Peace and Security Series, {D:} Information and
                  Communication Security},
  volume       = {40},
  pages        = {1--25},
  publisher    = {{IOS} Press},
  year         = {2015},
  url          = {https://doi.org/10.3233/978-1-61499-495-4-1},
  doi          = {10.3233/978-1-61499-495-4-1},
  timestamp    = {Sun, 12 Nov 2023 02:22:35 +0100},
  biburl       = {https://dblp.org/rec/series/natosec/AlurBDF0JKMMRSSSSTU15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}