Sasa Radomirovic: Courses 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 | |||||
263-4600-00 V | Formal Methods for Information Security | 2 hrs |
| C. Sprenger, S. Radomirovic, R. Sasse | ||||
263-4600-00 U | Formal Methods for Information Security | 1 hrs |
| C. Sprenger, S. Radomirovic, R. Sasse |