conference paper
Specification and Verification of an Object Request Broker (CORBA)
Duval, G.
1998
ICSE'98, The 20th International Conference on Software Engineering
Type
conference paper
Author(s)
Duval, G.
Date Issued
1998
Published in
ICSE'98, The 20th International Conference on Software Engineering
Written at
EPFL
EPFL units
| Event place |
Available on Infoscience
January 11, 2007
Use this identifier to reference this record