3. VSTTE 2010: Edinburgh, UK

Invited Talk

Verification Techniques

Verification of Low-Level Code

Invited Talk

Requirements and Speci?cations

Verification Techniques

Invited Talk

Locality in Reasoning

a service of Schloss Dagstuhl - Leibniz Center for Informatics