@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@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},
}