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.

SMTInterpol: An Interpolating SMT Solver

Jürgen Christ, Jochen Hoenicke, Alexander Nutz. SMTInterpol: An Interpolating SMT Solver. In Alastair F. Donaldson, David Parker, editors, Model Checking Software - 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings. Volume 7385 of Lecture Notes in Computer Science, pages 248-254, Springer, 2012. [doi]

Authors

Jürgen Christ

This author has not been identified. Look up 'Jürgen Christ' in Google

Jochen Hoenicke

This author has not been identified. Look up 'Jochen Hoenicke' in Google

Alexander Nutz

This author has not been identified. Look up 'Alexander Nutz' in Google
runs on