In the summer term of 2021 we offer the following courses:
- Integrated Course: Static and Dynamic Program Analysis
- Lab: Formal Specification and Verification in Isabelle/HOL
- Seminar: Current Topics in Concurrency and Parallelism
- Seminar: Formal Specification
- Graduate Seminar: MAIS
- Exam: Modellierung, Spezifikation und Semantik
Information regarding the Corona pandemic:
All of our course will happen. You can find more information on the individual web pages of each course.
All of our course will happen. You can find more information on the individual web pages of each course.
Print
Imprint
Sitemap
Contact