Automatic predicate abstraction of C programs (2001)

Cached

Download Links

by Thomas Ball , Rupak Majumdar , Todd Millstein , Sriram K. Rajamani
Venue:IN PROC. ACM PLDI
Citations:398 - 25 self