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

maintained by Schloss Dagstuhl LZI at University of Trier