Sciweavers

PLDI
2009
ACM
15 years 10 months ago
Program verification using templates over predicate abstraction
dicate Abstraction Saurabh Srivastava University of Maryland, College Park Sumit Gulwani Microsoft Research, Redmond
Saurabh Srivastava, Sumit Gulwani