International Workshop on Verification and Program Transformation (7. : 2019 : Genua) Bezüge im Wissensnetz Veranstaltungsort (1) GND Genua Homepage (1) GND vpt2019