International Workshop on the Verification of Model Transformation (5. : 2016 : Saint-Malo) Bezüge im Wissensnetz Veranstaltungsort (1) GND Saint-Malo