Workshop on Formal Methods in Software Practice (2 : 1998 : Clearwater Beach, Fla.) Bezüge im Wissensnetz Veranstaltungsort (1) GND Clearwater Beach, Fla.