263-4600-00L  Formal Methods for Information Security

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


NumberTitleHoursLecturers
263-4600-00 VFormal Methods for Information Security2 hrs
Thu09-11CAB G 57 »
S. Radomirovic, M. Torabi Dashti
263-4600-00 UFormal Methods for Information Security1 hrs
Thu11-12CAB G 57 »
S. Radomirovic, M. Torabi Dashti