6th SEFM 2008: Cape Town, South Africa

Refine list

showing all ?? records


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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics