10th IFM 2013: Turku, Finland

Invited Paper 1

Refinement, Integration, Translation

Invited Paper 2

Verification

Invited Paper 3

Reachability and Model Checking

Usability and Testing

Distributed Systems

Invited Paper 4

Semantics

System-Level Analysis

a service of Schloss Dagstuhl - Leibniz Center for Informatics