A decision procedure for bitvectors and arrays (2007)

by Vijayganeshanddavidl. Dill
Venue:In Computer Aided Verification, number 4590 in LNCS
Citations:129 - 7 self