3. VMCAI 2002: Venice, Italy

Security and Protocols

Timed Systems and Games

Static Analysis

Optimizations

Types and Verification

Temporal Logics and Systems