13th IFM 2017: Torino, Italy

Cyber-Physical Systems

Software Verification Tools

Safety-Critical Systems

Concurrency and Distributed Systems

Program Verification Techniques

Formal Modeling

Verified Software

a service of Schloss Dagstuhl - Leibniz Center for Informatics