4. FMOODS 2000: Stanford, California, USA

Invited Talk

Mobility

Invited Talk

Java and UML

Invited Talk

Refinement and Subtyping

Invited Talk

Time

Components

a service of Schloss Dagstuhl - Leibniz Center for Informatics