Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers
Andreas Bauer‚ Martin Leucker‚ Christian Schallhart and Michael Tautschnig
Details
| 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 |
Links
Related pages
|
People |