5th ICMT@TOOLS 2012: Prague, Czech Republic

Refine list

showing all ?? records

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