@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{bryant-tacas07,
AUTHOR = { Bryant, Randal E.
and Kroening, Daniel
and Ouaknine, Joel
and Seshia, Sanjit A.
and Strichman, Ofer
and Brady, Bryan },
TITLE = { Deciding Bit-Vector Arithmetic with Abstraction },
BOOKTITLE = { Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS) },
YEAR = {2007},
month = {March},
PUBLISHER = { Springer },
PAGES = { 358--372 },
SERIES = { Lecture Notes in Computer Science },
VOLUME = { 4424 },
}