Formal Specification of CORBA Services Using Object-Z.

Detlef Kreuz

Browse the full ICFEM paper archive.