and Sumit Gulwani. Program verification using templates over predicate abstraction (2009)

by Saurabh Srivastava
Venue:ISSN