7. FMOODS 2005: Athens, Greece

Invited Talk

Models and Calculi

UML

Security

Composition and Verification

Analysis of Java Programs

Web Services

Specification and Verification

a service of Schloss Dagstuhl - Leibniz Center for Informatics