Workshop on Software Model Checking (3 : 2005 : Edinburgh) Bezüge im Wissensnetz Veranstaltungsort (1) GND Edinburgh