Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers
| Main Authors: | , , , |
|---|---|
| Formato: | Conference item |
| Publicado: |
Poitiers‚ France
2007
|
| _version_ | 1826274927018246144 |
|---|---|
| author | Bauer, A Leucker, M Schallhart, C Tautschnig, M |
| author_facet | Bauer, A Leucker, M Schallhart, C Tautschnig, M |
| author_sort | Bauer, A |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-06T22:50:55Z |
| format | Conference item |
| id | oxford-uuid:5ebe563e-aefd-48df-983e-00d2def9c24c |
| institution | University of Oxford |
| last_indexed | 2024-03-06T22:50:55Z |
| publishDate | 2007 |
| publisher | Poitiers‚ France |
| record_format | dspace |
| spelling | oxford-uuid:5ebe563e-aefd-48df-983e-00d2def9c24c2022-03-26T17:42:38ZDon't care in SMT—Building flexible yet efficient abstraction/refinement solversConference itemhttp://purl.org/coar/resource_type/c_5794uuid:5ebe563e-aefd-48df-983e-00d2def9c24cDepartment of Computer SciencePoitiers‚ France2007Bauer, ALeucker, MSchallhart, CTautschnig, M |
| spellingShingle | Bauer, A Leucker, M Schallhart, C Tautschnig, M Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers |
| title | Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers |
| title_full | Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers |
| title_fullStr | Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers |
| title_full_unstemmed | Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers |
| title_short | Don't care in SMT—Building flexible yet efficient abstraction/refinement solvers |
| title_sort | don t care in smt building flexible yet efficient abstraction refinement solvers |
| work_keys_str_mv | AT bauera dontcareinsmtbuildingflexibleyetefficientabstractionrefinementsolvers AT leuckerm dontcareinsmtbuildingflexibleyetefficientabstractionrefinementsolvers AT schallhartc dontcareinsmtbuildingflexibleyetefficientabstractionrefinementsolvers AT tautschnigm dontcareinsmtbuildingflexibleyetefficientabstractionrefinementsolvers |