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

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

Mostrar otras versiones (2)
Detalles Bibliográficos
Autores principales: Bauer, A, Leucker, M, Schallhart, C, Tautschnig, M
Formato: Conference item
Publicado: Poitiers‚ France 2007

Ejemplares similares