Masterseminar "Fehlerfreie Software (deduktive Softwareverifikation)"

Seminar und Praktikum: Wissenschaftliches Arbeiten und Lehren