Publikation

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.

Abstrakt

o.A.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence