263-4600-00L  Formal Methods for Information Security

SemesterSpring Semester 2015
LecturersS. Radomirovic, M. Torabi Dashti
Periodicityyearly recurring course
Language of instructionEnglish


There are no additional restrictions for the registration.