6. SEFM 2008: Cape Town, South Africa


Keynote Speaker 1

Abstract Interpretation

Model Checking

Verification of Embedded Systems


Testing I

Testing II

Keynote Speaker 2

Aspect-Oriented Development

Requirement and Program Analysis

Tool Papers

Coordination Languages

Communication, Mobile and Interactive Systems

Short Papers

maintained by Schloss Dagstuhl LZI at University of Trier