External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

MetaSMT: a unified interface to SMT-LIB2

Heinz Riener, Mathias Soeken, Clemens Werther, Görschwin Fey, Rolf Drechsler. MetaSMT: a unified interface to SMT-LIB2. In Proceedings of the 2014 Forum on Specification and Design Languages, FDL 2014, Munich, Germany, October 14-16, 2014. pages 1-6, IEEE, 2014. [doi]

Authors

Heinz Riener

This author has not been identified. Look up 'Heinz Riener' in Google

Mathias Soeken

This author has not been identified. Look up 'Mathias Soeken' in Google

Clemens Werther

This author has not been identified. Look up 'Clemens Werther' in Google

Görschwin Fey

This author has not been identified. Look up 'Görschwin Fey' in Google

Rolf Drechsler

This author has not been identified. Look up 'Rolf Drechsler' in Google
runs on