11. IFM 2014: Bertinoro, Italy

Invited Talks

Tool Integration

Model Verification

Program Development

Security Analysis

Analysis and Transformation

Concurrency and Control

maintained by Schloss Dagstuhl LZI at University of Trier