International Workshop on Verification and Computational Logic (2 : 2001 : Florenz) Bezüge im Wissensnetz Veranstaltungsort (1) GND Florenz