14. SEFM 2016: Vienna, Austria

Invited Papers

Concurrency and Non-interference

Program Analysis

Model Checking

Verification

Interaction and Adaptation

Development Methods

maintained by Schloss Dagstuhl LZI at University of Trier