International Workshop on Verification and Program Transformation (1. : 2013 : Sankt Petersburg) Bezüge im Wissensnetz Veranstaltungsort (1) GND Sankt Petersburg Homepage (1) GND vpt Administrative Überordnung der Konferenz oder der Veranstaltung (1) GND 1038044154