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)
Detalhes bibliográficos
Main Authors: Bauer, A, Leucker, M, Schallhart, C, Tautschnig, M
Formato: Conference item
Publicado em: Poitiers‚ France 2007

Registos relacionados