Workshop on Automated Verification of Critical Systems (3 : 2003 : Southampton) Bezüge im Wissensnetz Veranstaltungsort (1) GND Southampton