Login / Signup

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

Kuangnan ChangDavid Chenho KungPei Hsia
Published in: COMPSAC (1999)
Keyphrases