3. FASE 2000: Berlin, Germany (Part of ETAPS 2000)

Invited Papers

Real-Time Systems

Formally Engineering Systems

Software Engineering

Object Orientation

Formallz Engineering Systems

Theory and Applications

Case Studies

Demonstrations