Verifying OO Programs by Linking Algebraic and Abstract Specifications.

Qin Shu, Shuling Wang, Yijing Liu

Browse the full TASE paper archive.