S.: Enhancing modular OO verification with separation logic (2008)

by W N Chin, C David, H H Nguyen, Qin
Venue:SIGPLAN Not