Proseminar "Desaster in der Software-Sicherheit"
Typ: | Proseminar (PS) | Links: | weitere Informationen |
---|---|---|---|
Semester: | SS 2014 | ||
Zeit: | 14.04.2014 13:00 - 14:00 einmalig 50.34 Raum 236 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten 22.04.2014 13:00 - 14:00 einmalig 50.34 Raum 236 50.34 INFORMATIK, Kollegiengebäude am Fasanengarten |
||
Dozent: | Prof.Dr. Peter Hans Schmitt Prof.Dr. Bernhard Beckert |
||
LVNr.: | 2400080 | ||
Weitere Informationen finden Sie auf den Webseiten des Lehrstuhls "Anwendungsorientierte Formale Verifikation" von Prof. Dr. Bernhard Beckert.