Automated verification of shape and size properties via separation logic (2007)

by H H Nguyen, C David, S Qin, W Chin
Venue:In Verification, Model Checking and Abstract Interpretation