Workshop on Invariant Generation (3. : 2010 : Edinburgh) Bezüge im Wissensnetz Veranstaltungsort (1) GND Edinburgh Homepage (1) GND WING-home.html