The static driver verifier research platform (0)

by T BALL, E BOUNIMOVA, V LEVIN, R KUMAR, J LICHTENBERG
Venue:In Computer Aided Verification, 22nd International Conference, CAV 2010