International Workshop on Formal Methods in Software Development (1990 : Napa, Calif.) Bezüge im Wissensnetz Veranstaltungsort (1) GND Napa, Calif.