15th SEFM 2018: Toulouse, France

Invited Keynote

Specification

Concurrency

Program Analysis

Model Checking and Runtime Verification

Applications

Shape Analysis and Reuse

a service of Schloss Dagstuhl - Leibniz Center for Informatics