MAIS Courses in Summer Term 2018
- Integrated Course: Formal Methods for Information Security (9CP)
- Lab: Reliable Software Security for Mobile Devices (6CP)
- Seminar: Current Topics in Concurrency and Parallelism (3CP)
The course language is Englisch for all courses. The joint mandatory preparation meeting for the seminar and lab takes place on Monday, 16.04, 16:15 in A313.