Constraint-based invariant inference over predicate abstraction (2009)

by S Gulwani, S Srivastava, R Venkatesan
Venue:In VMCAI