Inheritance and Modularity in Specification and Verification of OO Programs.

Yijing Liu, Ali Hong, Zongyan Qiu

Browse the full TASE paper archive.