Sprungmarken

Servicenavigation

Hauptnavigation

Sie sind hier:

Hauptinhalt

Type Systems for Correctness and Security

    Sie finden die Inhalte des Kurses auf den neuen Webseite der Fachgruppe Softwaretechnik sicherer Systeme:

    https://sse.cs.tu-dortmund.de/de/lehre/sommersemester-2021/type-systems-for-correctness-and-security/



    Nebeninhalt

    Kontakt

    JProf. Dr.-Ing. Ben Hermann
     

    Kontakt

    Tel. (0231) 755-5801
    Fax (0231) 755-5802