- Lehrende:r: Johannes Düsing
- Lehrende:r: Benjamin Hermann
- Lehrende:r: Anemone Kampkötter
- Lehrende:r: Christian Benedict Smit
Typesystems for Correctness and Security, LSF, 042540
Opzioni di iscrizione
Gli ospiti non possono entrare in questo corso, per favore autenticati.