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

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

Afficher d'autres versions (2)

Détails bibliographiques
Auteurs principaux:	Bauer, A, Leucker, M, Schallhart, C, Tautschnig, M
Format:	Conference item
Publié:	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 par Bauer, A, Leucker, M, Schallhart, C, Tautschnig, M

Publié 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. par Bauer, A, Leucker, M, Schallhart, C, Tautschnig, M

Publié 2010

Journal article