Model checking guided abstraction and analysis (2000)

by H Saidi
Venue:In SAS 00: Static Analysis Symposium, LNCS 1824