@inproceedings{KFB6,
title = { JavaSMT: {A} Unified Interface for {SMT} Solvers in Java },
author = {Karpenkov, Egor George and Friedberger, Karlheinz and Beyer, Dirk},
year = {2016},
booktitle = {Verified Software. Theories, Tools, and Experiments - 8th International Conference, {VSTTE} 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers},
pages = {139--148},
series = {Lecture Notes in Computer Science},
volume = {9971},
team = {PACSS},
timestamp = {Tue, 23 May 2017 01:06:28 +0200},
biburl = {https://dblp.org/rec/bib/conf/vstte/KarpenkovF016},
bibsource = {dblp computer science bibliography, https://dblp.org},
}
