263-4600-00L  Formal Methods for Information Security

SemesterSpring Semester 2021
LecturersS. Krstic, R. Sasse, C. Sprenger
Periodicityyearly recurring course
Language of instructionEnglish


NumberTitleHoursLecturers
263-4600-00 VFormal Methods for Information Security2 hrs
Thu09:15-11:00CAB G 52 »
S. Krstic, R. Sasse, C. Sprenger
263-4600-00 UFormal Methods for Information Security1 hrs
Thu11:15-12:00CAB G 52 »
S. Krstic, R. Sasse, C. Sprenger
263-4600-00 AFormal Methods for Information Security1 hrsS. Krstic, R. Sasse, C. Sprenger