7. FMOODS 2005: Athens, Greece

Refine list

showing all ?? records

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