Program Verification

  • Typ: Praktikum (P)
  • Lehrstuhl: KIT-Fakultäten - KIT-Fakultät für Informatik - KASTEL – Institut für Informationssicherheit und Verlässlichkeit - KASTEL Beckert
  • Semester: WS 21/22
  • Dozent: Prof. Dr. Bernhard Beckert
    Dr. rer. nat. Mattias Ulbrich
    Michael Kirsten
  • SWS: 2
  • LVNr.: 2400049
  • Hinweis: Präsenz/Online gemischt
Language of instructionGerman/English
Organisational issues

weitere Informationen sowie Anmeldung in der Vorlesung