3. VSTTE 2010: Edinburgh, UK

Refine list

showing all ?? records

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