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

Bibliographische Detailangaben
Hauptverfasser:	Bauer, A, Leucker, M, Schallhart, C, Tautschnig, M
Format:	Conference item
Veröffentlicht:	Poitiers‚ France 2007

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

Veröffentlicht 2010

Journal article

Veröffentlicht 2010

Journal article