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

by Sumit Gulwani, Saurabh Srivastava
Venue:In VMCAI