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

Refine list

showing all ?? records

Invited Papers

Real-Time Systems

Formally Engineering Systems

Software Engineering

Object Orientation

Formallz Engineering Systems

Theory and Applications

Case Studies

Demonstrations

a service of  Schloss Dagstuhl - Leibniz Center for Informatics