Modular Verification of OO Programs with Interfaces.

Zongyan Qiu, Ali Hong, Yijing Liu

Browse the full ICFEM paper archive.