14. TACAS 2008: Budapest, Hungary (Part of ETAPS 2008)

Refine list

showing all ?? records

Invited Talk

Parameterized Systems

Model Checking - I

Applications

Model Checking - II

Static Analysis

Concurrent/Distributed Systems

Tools - I

Symbolic Execution

Abstraction, Interpolation

Tools - II

Trust, Reputation

a service of  Schloss Dagstuhl - Leibniz Center for Informatics