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

maintained by Schloss Dagstuhl LZI, founded at University of Trier