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

maintained by Schloss Dagstuhl LZI, founded at University of Trier