Workshop on Formal Design Methods for Computer Aided Design (1995 : México) Bezüge im Wissensnetz Veranstaltungsort (1) GND Mexiko (Stadt)