Logik und Formale Methoden

Proseminar "Desaster in der Software-Sicherheit"

  • Typ: Proseminar (PS)
  • 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.