Enhancing modular OO verification with separation logic.

Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin

Browse the full POPL paper archive.