6. FMOODS 2003: Paris, France

Invited Talk

Models

Logic and Verification

Calculi

Java and .NET

UML

Composition and Verification