Working Conference on From HDL Descriptions to Guaranteed Correct Circuit Designs (1986 : Grenoble) Bezüge im Wissensnetz Veranstaltungsort (1) GND Grenoble