International Workshop on Proof Systems for Program Logics (2010 : Edinburgh) Bezüge im Wissensnetz Veranstaltungsort (1) GND Edinburgh Homepage (1) GND PSPL-home.html