DMCA

A decision procedure for bit-vectors and arrays (2007)

Cached

Download Links

by Vijay Ganesh, David L. Dill
Venue:IN COMPUTER AIDED VERIFICATION, NUMBER 4590 IN LNCS
Citations:190 - 11 self