Software Verification with Blast (0)

by T A HENZINGER, R JHALA, R MAJUMDAR, G SUTRE
Venue:In SPIN’03: Proc. of the 10th Int. Workshop on Model Checking of Software (2003