Formal specification of CORBA services: experience and lessons learned.

Rmi Bastide, Philippe A. Palanque, Ousmane Sy, David Navarre

Browse the full OOPSLA paper archive.