263-4600-00L  Formal Methods for Information Security

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


 
Main linkFormal Methods for Information Security
Only public learning materials are listed.