International Workshop on Applied Formal Methods for Correct VLSI Design (1989 : Houthalen) Bezüge im Wissensnetz Veranstaltungsort (1) GND Houthalen