Automated verification of model transformations based on visual contracts

Esther Guerra, Juan de Lara, Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger

Research output: Contribution to journalArticlepeer-review

71 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Automated verification of model transformations based on visual contracts'. Together they form a unique fingerprint.

Keyphrases

Computer Science