5. ICMT 2012: Prague, Czech Republic

Invited Talk

Testing, Typing and Verification

Bidirectionality

Applications and Visualization

Transformation Languages, Virtual Machines

Pattern Matching

Transformations in Modelling, Reutilization

a service of Schloss Dagstuhl - Leibniz Center for Informatics