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

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