A Decision Procedure for Bit-Vectors and Arrays (0)

by V Ganesh, D L Dill
Venue:In CAV 2007