12th SEFM 2014: Grenoble, France

Refine list

showing all ?? records

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