Sasa Radomirovic: Courses in Spring Semester 2016

Name Dr. Sasa Radomirovic
DepartmentComputer Science
RelationshipLecturer

NumberTitleECTSHoursLecturers
263-4600-00LFormal Methods for Information Security Information 4 credits2V + 1U
263-4600-00 VFormal Methods for Information Security2 hrs
Thu09:15-11:00CAB G 57 »
C. Sprenger, S. Radomirovic, R. Sasse
263-4600-00 UFormal Methods for Information Security1 hrs
Thu11:15-12:00CAB G 57 »
C. Sprenger, S. Radomirovic, R. Sasse