11th IFM 2014: Bertinoro, Italy

Invited Talks

Tool Integration

Model Verification

Program Development

Security Analysis

Analysis and Transformation

Concurrency and Control

a service of Schloss Dagstuhl - Leibniz Center for Informatics