Skip to content

Specification and Verification of an Object Request Broker.

Grgory Duval

VenueA*ICSE
Year1998
ProceedingsICSE

Browse the full ICSE paper archive.