Heinz Riener, Mathias Soeken, Clemens Werther, Görschwin Fey, Rolf Drechsler. MetaSMT: a unified interface to SMT-LIB2. In Proceedings of the 2014 Forum on Specification and Design Languages, FDL 2014, Munich, Germany, October 14-16, 2014. pages 1-6, IEEE, 2014. [doi]
@inproceedings{RienerSWFD14,
title = {MetaSMT: a unified interface to SMT-LIB2},
author = {Heinz Riener and Mathias Soeken and Clemens Werther and Görschwin Fey and Rolf Drechsler},
year = {2014},
doi = {10.1109/FDL.2014.7119353},
url = {http://dx.doi.org/10.1109/FDL.2014.7119353},
researchr = {https://researchr.org/publication/RienerSWFD14},
cites = {0},
citedby = {0},
pages = {1-6},
booktitle = {Proceedings of the 2014 Forum on Specification and Design Languages, FDL 2014, Munich, Germany, October 14-16, 2014},
publisher = {IEEE},
isbn = {978-2-9530504-9-3},
}