Specification and Verification of an Object Request Broker (CORBA)


Published in:
ICSE'98, The 20th International Conference on Software Engineering
Presented at:
Kyoto, Japan
Year:
1998
Laboratories:




 Record created 2007-01-11, last modified 2018-03-17


Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)