6. FMOODS 2003: Paris, France

Invited Talk

Models

Logic and Verification

Calculi

Java and .NET

UML

Composition and Verification

a service of Schloss Dagstuhl - Leibniz Center for Informatics