BibTeX record conf/vstte/KarpenkovF016

download as .bib file

@inproceedings{DBLP:conf/vstte/KarpenkovF016,
  author    = {Egor George Karpenkov and
               Karlheinz Friedberger and
               Dirk Beyer},
  title     = {JavaSMT: {A} Unified Interface for {SMT} Solvers in Java},
  booktitle = {{VSTTE}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9971},
  pages     = {139--148},
  year      = {2016}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics