Publikationen

Seite 1 von 1.

1. Heinz Riener; Mathias Soeken; Clemens Werther; Goerschwin Fey; Rolf Drechsler

   metaSMT: A Unified Interface to SMT-LIB2

   In: Forum on Specification and Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14), October 14-16, München, Germany, …

• 1