International Summer School on Formal Logical Methods for System Security and Correctness (2007 : Marktoberdorf) Bezüge im Wissensnetz Veranstalter oder Gastgeber (2) GND NATO. Science for Peace and Security Programme Technische Universität München. Institut für Informatik Veranstaltungsort (1) GND Marktoberdorf