@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@inproceedings{jha-cav09,
  author    = {Susmit Jha and
               Rhishikesh Limaye and
               Sanjit A. Seshia},
  title     = {{Beaver:} Engineering an Efficient SMT Solver for Bit-Vector Artithmetic},
  booktitle = {Proc. 21st International Conference on Computer-Aided verification (CAV)},
  series    = {Lecture Notes in Computer Science},
  volume    = {5643},
  year      = {2009},
  month = {June},
  pages     = {668--674},
}