Forschungstreffen 11133
Formal Methods for Making IT Systems Secure
( 30. Mar – 01. Apr, 2011 )
(zum Vergrößern in der Bildmitte klicken)
Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite:
https://www.dagstuhl.de/11133
Organisatoren
- Heiko Mantel (TU Darmstadt, DE)
- Henning Sudbrock (TU Darmstadt, DE)
Kontakt
Verwandte Seminare
- Forschungstreffen 08374: Klausurtagung Lehrstuhl Heiko Mantel (2008-09-10 - 2008-09-12) (Details)
