Don't care in SMT---Building flexible yet efficient abstraction/refinement solvers (bibtex)
by Andreas Bauer, Martin Leucker, Christian Schallhart, Michael Tautschnig
Reference:
Don't care in SMT---Building flexible yet efficient abstraction/refinement solversAndreas Bauer, Martin Leucker, Christian Schallhart, Michael TautschnigInternational Journal on Software Tools for Technology Transfer, volume 12, number 1, pages 23-37, February 2010.
Bibtex Entry:
@article{bauer:leucker:schallhart:tautschnig:sttt,
  author = {Andreas Bauer and Martin Leucker and Christian Schallhart and Michael Tautschnig},
  title = {Don't care in {SMT}---Building flexible yet efficient abstraction/refinement solvers},
  number = {1},
  month = {February},
  year = {2010},
  journal = {International Journal on Software Tools for Technology Transfer},
  pages = {23--37},
  volume = {12},
  doi = {10.1007/s10009-009-0133-2}
}
Powered by bibtexbrowser