International School on Formal Methods for the Design of Computer, Communication, and Software Systems (15. : 2015 : Bertinoro) Bezüge im Wissensnetz Veranstaltungsort (1) GND Bertinoro