5. SEFM 2007: London, England

Keynote Talk

Software Engineering 1

Mondex/VSI Challenge

Applications

Reasoning

Keynote Talk

Logics

Semantics

Telecommunications

Testing and Model Checking

Keynote Talk

Software Engineering II

Services

Security and Safety

Specification and Verification

a service of Schloss Dagstuhl - Leibniz Center for Informatics