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

Cached

Download Links

by Huu Hai Nguyen , Cristina David , Shengchao Qin , Wei-ngan Chin
Venue:In VMCAI
Citations:52 - 19 self