Workshop on Formal Methods in Software Practice (3 : 2000 : Portland, Or.) Bezüge im Wissensnetz Veranstaltungsort (1) GND Portland, Or.