BibTeX record conf/tacas/BrummayerB09

download as .bib file

@inproceedings{DBLP:conf/tacas/BrummayerB09,
  author    = {Robert Brummayer and
               Armin Biere},
  title     = {Boolector: An Efficient {SMT} Solver for Bit-Vectors and Arrays},
  booktitle = {{TACAS}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5505},
  pages     = {174--177},
  publisher = {Springer},
  year      = {2009}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics