263-4600-00L  Formal Methods for Information Security

SemesterSpring Semester 2019
LecturersR. Sasse, C. Sprenger
Periodicityyearly recurring course
Language of instructionEnglish


There are no additional restrictions for the registration.