Workshop on Industrial Strength Formal Specification Techniques (2 : 1998 : Boca Raton, Fla.) Bezüge im Wissensnetz Veranstaltungsort (1) GND Boca Raton, Fla.