Research Meeting 11133
Formal Methods for Making IT Systems Secure
( Mar 30 – Apr 01, 2011 )
(Click in the middle of the image to enlarge)
Permalink
Please use the following short url to reference this page:
https://www.dagstuhl.de/11133
Organizers
- Heiko Mantel (TU Darmstadt, DE)
- Henning Sudbrock (TU Darmstadt, DE)
Contact
Related Seminars
- Research Meeting 08374: Klausurtagung Lehrstuhl Heiko Mantel (2008-09-10 - 2008-09-12) (Details)