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 |
| Publication Type | Journal Article |
| Year of Publication | 2010 |
| Authors | Bauer, A, Leucker, M, Schallhart, C, Tautschnig, M |
| Journal | Software Tools for Technology Transfer (STTT) |
| Volume | 12 |
| Pagination | 23–37 |
| URL | http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1007/s10009-009-0133-2 |
Bibtex:
@article {BauerLST08,
title = {Don{\textquoteright}t care in {SMT}{\textendash}-Building flexible yet efficient abstraction/refinement solvers},
journal = {Software Tools for Technology Transfer (STTT)},
volume = {12},
number = {1},
year = {2010},
pages = {23{\textendash}37},
url = {http://www.springerlink.com/openurl.asp?genre=article\&id=doi:10.1007/s10009-009-0133-2},
author = {Andreas Bauer and Martin Leucker and Christian Schallhart and Michael Tautschnig}
}PDF:
Postscript:
