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.
