7. FMOODS 2005: Athens, Greece

Invited Talk

Models and Calculi

UML

Security

Composition and Verification

Analysis of Java Programs

Web Services

Specification and Verification