18. ECOOP 2004: Oslo, Norway

Encapsulation

Program Analysis

Software Engineering

Aspects

Invited Talk 1

Middleware

Types

Verification

Invited Talk 2

Systems