Publication
metaSMT: A Unified Interface to SMT-LIB2
Heinz Riener; Mathias Soeken; Clemens Werther; Goerschwin Fey; Rolf Drechsler
In: Forum on Specification and Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14), October 14-16, München, Germany, o.A. , 2014.
Abstract
o.A.