Memory usage verification for OO programs (0)

by W Chin, H Nguyen, S Qin, M Rinard
Venue:in Static Analysis, SAS 2005, 2005