Formal Specification and Prototyping of CORBA Systems

Rémi Bastide, Ousmane Sy, Philippe A. Palanque. Formal Specification and Prototyping of CORBA Systems. In Rachid Guerraoui, editor, ECOOP 99 - Object-Oriented Programming, 13th European Conference, Lisbon, Portugal, June 14-18, 1999, Proceedings. Volume 1628 of Lecture Notes in Computer Science, pages 474-494, Springer, 1999. [doi]

Authors

Rémi Bastide

This author has not been identified. Look up 'Rémi Bastide' in Google

Ousmane Sy

This author has not been identified. Look up 'Ousmane Sy' in Google

Philippe A. Palanque

This author has not been identified. Look up 'Philippe A. Palanque' in Google