L.: Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement (2004)

by T Ball, B Cook, S K Lahiri, Zhang
Venue:CAV'04. LNCS 3114