14. SEFM 2016: Vienna, Austria

Invited Papers

Concurrency and Non-interference

Program Analysis

Model Checking

Verification

Interaction and Adaptation

Development Methods

a service of Schloss Dagstuhl - Leibniz Center for Informatics