International Conference on Integrated Formal Methods (13. : 2017 : Turin) Bezüge im Wissensnetz Veranstaltungsort (1) GND Turin