12. SEFM 2014: Grenoble, France

Invited Papers

Program Verification

Testing

Component-Based Systems

Real-Time and Embedded Systems

Model Checking and Automata Learning

Tool Papers

Program Correctness

Adaptive and Multi-Agent Systems

a service of Schloss Dagstuhl - Leibniz Center for Informatics