BibTeX record conf/tacas/SighireanuPRGIR19

download as .bib file

  author    = {Mihaela Sighireanu and
               Juan Antonio Navarro P{\'{e}}rez and
               Andrey Rybalchenko and
               Nikos Gorogiannis and
               Radu Iosif and
               Andrew Reynolds and
               Cristina Serban and
               Jens Katelaan and
               Christoph Matheja and
               Thomas Noll and
               Florian Zuleger and
               Wei{-}Ngan Chin and
               Quang Loc Le and
               Quang{-}Trung Ta and
               Ton{-}Chanh Le and
               Thanh{-}Toan Nguyen and
               Siau{-}Cheng Khoo and
               Michal Cyprian and
               Adam Rogalewicz and
               Tom{\'{a}}s Vojnar and
               Constantin Enea and
               Ondrej Leng{\'{a}}l and
               Chong Gao and
               Zhilin Wu},
  editor    = {Dirk Beyer and
               Marieke Huisman and
               Fabrice Kordon and
               Bernhard Steffen},
  title     = {{SL-COMP:} Competition of Solvers for Separation Logic},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague,
               Czech Republic, April 6-11, 2019, Proceedings, Part {III}},
  series    = {Lecture Notes in Computer Science},
  volume    = {11429},
  pages     = {116--132},
  publisher = {Springer},
  year      = {2019},
  url       = {\_8},
  doi       = {10.1007/978-3-030-17502-3\_8},
  timestamp = {Fri, 27 Mar 2020 08:54:14 +0100},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
a service of Schloss Dagstuhl - Leibniz Center for Informatics