Symposium Formal Methods for HW SW Design for Grand Challenge Scientific Applications (2000 : Ischia, Ort) Bezüge im Wissensnetz Veranstaltungsort (1) GND Ischia (Ort)