Formal Specification and Prototyping of CORBA Systems.

Rmi Bastide, Ousmane Sy, Philippe A. Palanque

Browse the full ECOOP paper archive.