conference paper

Specification and Verification of an Object Request Broker (CORBA)

Duval, G.
1998
ICSE'98, The 20th International Conference on Software Engineering