Sasa Radomirovic: Course units in Spring Semester 2016 |
Name | Dr. Sasa Radomirovic |
Department | Computer Science |
Relationship | Lecturer |
Number | Title | ECTS | Hours | Lecturers | |
---|---|---|---|---|---|
263-4600-00L | Formal Methods for Information Security | 4 credits | 2V + 1U | C. Sprenger, S. Radomirovic, R. Sasse |