263-4600-00L  Formal Methods for Information Security

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


No information on groups available.