Workshop on Formal Techniques for Java Programs (1 : 1999 : Lissabon) Bezüge im Wissensnetz Veranstaltungsort (1) GND Lissabon