Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers
Andreas Bauer‚ Martin Leucker‚ Christian Schallhart and Michael Tautschnig
Address
Poitiers‚ France
Book Title
Proceedings of the 2007 ISoLA Workshop On Leveraging Applications of Formal Methods‚ Verification and Validation (ISoLA)
ISBN
9782854288148
Month
December
Pages
135–146
Year
2007