Ada-Europe 2006: Porto, Portugal

Real-Time Systems

Static Analysis

Verification

Reliability

Compilers

Distributed Systems

a service of Schloss Dagstuhl - Leibniz Center for Informatics