BibTeX record conf/kbse/DustmannWC18

download as .bib file

@inproceedings{DBLP:conf/kbse/DustmannWC18,
  author    = {Oscar Soria Dustmann and
               Klaus Wehrle and
               Cristian Cadar},
  editor    = {Marianne Huchard and
               Christian K{\"{a}}stner and
               Gordon Fraser},
  title     = {{PARTI:} a multi-interval theory solver for symbolic execution},
  booktitle = {Proceedings of the 33rd {ACM/IEEE} International Conference on Automated
               Software Engineering, {ASE} 2018, Montpellier, France, September 3-7,
               2018},
  pages     = {430--440},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3238147.3238179},
  doi       = {10.1145/3238147.3238179},
  timestamp = {Mon, 23 Nov 2020 12:33:09 +0100},
  biburl    = {https://dblp.org/rec/conf/kbse/DustmannWC18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics