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

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

Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers by Bauer, A, Leucker, M, Schallhart, C, Tautschnig, M

Published 2010

Journal article

Don't care in SMT: building flexible yet efficient abstraction/refinement solvers.

Don't care in SMT: building flexible yet efficient abstraction/refinement solvers. by Bauer, A, Leucker, M, Schallhart, C, Tautschnig, M

Published 2010

Journal article