International Workshop on Formal Methods for Industrial Critical Systems (2 : 1997 : Cesena) Bezüge im Wissensnetz Veranstaltungsort (1) GND Cesena