OBL: A Formal Deduction Method for Object-Oriented Systems.

Kuangnan Chang, David Chenho Kung, Pei Hsia

Browse the full COMPSAC paper archive.