Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers

Bibliographic Details
Main Authors: Bauer, A, Leucker, M, Schallhart, C, Tautschnig, M
Format: Journal article
Published: 2010