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

maintained by Schloss Dagstuhl LZI, founded at University of Trier