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)

Detalles Bibliográficos
Main Authors:	Bauer, A, Leucker, M, Schallhart, C, Tautschnig, M
Formato:	Conference item
Publicado:	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 por Bauer, A, Leucker, M, Schallhart, C, Tautschnig, M

Publicado 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. por Bauer, A, Leucker, M, Schallhart, C, Tautschnig, M

Publicado 2010

Journal article