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

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

Show other versions (2)
Bibliographic Details
Main Authors: Bauer, A, Leucker, M, Schallhart, C, Tautschnig, M
Format: Conference item
Published: Poitiers‚ France 2007
Description
Summary:

Similar Items