6. FMOODS 2003: Paris, France

Invited Talk

Models

Logic and Verification

Calculi

Java and .NET

UML

Composition and Verification

maintained by Schloss Dagstuhl LZI at University of Trier