Constraint-based invariant inference over predicate abstraction. In (2009)

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