Finn Haedicke, Stefan Frehse, Görschwin Fey, Daniel Große, Rolf Drechsler. metaSMT: Focus on Your Application not on Solver Integration. In Malay K. Ganai, Armin Biere, editors, Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, Austin, USA, November 3, 2011. Volume 832 of CEUR Workshop Proceedings, CEUR-WS.org, 2011. [doi]
@inproceedings{HaedickeFFGD11,
title = {metaSMT: Focus on Your Application not on Solver Integration},
author = {Finn Haedicke and Stefan Frehse and Görschwin Fey and Daniel Große and Rolf Drechsler},
year = {2011},
url = {http://ceur-ws.org/Vol-832/paper_5.pdf},
researchr = {https://researchr.org/publication/HaedickeFFGD11},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, Austin, USA, November 3, 2011},
editor = {Malay K. Ganai and Armin Biere},
volume = {832},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}