A formal approach for designing CORBA based applications.

Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alberto Coen-Porisini

Browse the full ICSE paper archive.