@article{RHF+:2016,
Author = {Heinz Riener and Finn Haedicke and Stefan Frehse and Mathias Soeken and Daniel Große and Rolf Drechsler and Goerschwin Fey},
Title = {metaSMT: Focus On Your Application And Not On Solver Integration.},
Journal = {<em>International Journal on Software Tools for Technology Transfer (STTT)</em>.},
Year = {(2016).},
Pages = {1-17},
Note = {gfey, CE},
Isbn = {10.1007/s10009-016-0426-1},
Howpublished = {16-999 RHF+:2016 STTT}
}

@COMMENT{Bibtex file generated on 2026-5-15 with typo3 si_bibtex plugin. Data from https://www.tuhh.de/es/home/publications }