263-4600-00L  Formal Methods for Information Security

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


 
Main linkFormal Methods for Information Security -- Course Web Page
Only public learning materials are listed.