https://www.dagstuhl.de/11133

30. März – 01. April 2011, Event 11133

Formal Methods for Making IT Systems Secure

Organisatoren

Heiko Mantel (TU Darmstadt, DE)
Henning Sudbrock (TU Darmstadt, DE)

Auskunft zu diesem Event erteilt

Heike Clemens

Related Event

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von
Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact aufgelistet und separat in der Bibliothek präsentiert.