Workshop on Designing Correct Circuits (3 : 1996 : Båstad) Bezüge im Wissensnetz Veranstaltungsort (1) GND Båstad