International Workshop on Formal Methods for Industrial Critical Systems (7 : 2002 : Málaga) Bezüge im Wissensnetz Veranstaltungsort (1) GND Málaga