Provably Correct Systems 2017

Refine list

showing all ?? records

Historic Account

Hybrid Systems

Correctness of Concurrent Algorithms

Interfaces and Linking

Automatic Verification

Run-Time Assertion Checking

Formal and Semi-formal Methods

Web-Supported Communities in Science

a service of  Schloss Dagstuhl - Leibniz Center for Informatics