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

by H H Nguyen, C David, S Qin, W-N Chin
Venue:In 8th VMCAI