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 TautschnigProceedings of the 2007 ISoLA Workshop On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), pages 135-146, December 2007.
Bibtex Entry:
@inproceedings{bauer:leucker:schallhart:tautschnig:isola07,
  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},
  month = {December},
  year = {2007},
  address = {Poitiers, France},
  booktitle = {Proceedings of the 2007 ISoLA Workshop On Leveraging Applications   of Formal Methods, Verification and Validation (ISoLA)},
  pages = {135--146},
  isbn = {9782854288148}
}
Powered by bibtexbrowser