Login / Signup

PetShop: a tool for the formal specification of CORBA systems.

Rémi Bastide
Published in: OOPSLA Addendum (2000)
Keyphrases