Enhancing modular OO verification with separation logic (2008)

Cached

Download Links

by Wei-ngan Chin , Cristina David , Huu Hai Nguyen , Shengchao Qin
Venue:In Proceedings of POPL
Citations:36 - 3 self