13. FASE 2010: Paphos, Cyprus (Part of ETAPS 2010)

Invited Speaker

Model Transformation

Software Evolution

Graph Transformation

Modeling Concepts

Verification

Program Analysis

Testing and Debugging

Performance Modeling and Analysis

maintained by Schloss Dagstuhl LZI at University of Trier