bibtex

@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},
}

URL


Contact | Site Map | Site powered by SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3900678