International School on Formal Methods for the Design of Computer, Communication and Software Systems (4 : 2004 : Bertinoro) Bezüge im Wissensnetz Als Nachfolgende Konferenz oder Veranstaltung beteiligt (1) GND 10064706-6 Vorherige Konferenz oder Veranstaltung (1) GND 10064706-6 Veranstaltungsort (1) GND Bertinoro