BryantKOSSB09'

BibTeX

@article{DBLP:journals/sttt/BryantKOSSB09,
  author    = {Randal E. Bryant and
               Daniel Kroening and
               Jo{\"e}l Ouaknine and
               Sanjit A. Seshia and
               Ofer Strichman and
               Bryan A. Brady},
  title     = {An abstraction-based decision procedure for bit-vector arithmetic},
  journal   = {STTT},
  volume    = {11},
  number    = {2},
  year      = {2009},
  pages     = {95-104},
  ee        = {http://dx.doi.org/10.1007/s10009-009-0101-x},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}