18th ECOOP 2004: Oslo, Norway

Encapsulation

Program Analysis

Software Engineering

Aspects

Invited Talk 1

Middleware

Types

Verification

Invited Talk 2

Systems

a service of Schloss Dagstuhl - Leibniz Center for Informatics