NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security (2011 : Bayrischzell) Bezüge im Wissensnetz Veranstaltungsort (1) GND Bayrischzell