Termine
- Terminkategorie
- Lectures
- Titel
- Lectures
- Ort
- R2.22 in E9.1 (CISPA Main Building)
- Details
- We meet sharp at 13, not 13:15.
- Startzeit
- 13.09.2023 13:00
- Endzeit
- 13.09.2023 14:30
- den ganzen Tag
- No
Formal Compiler Security
Xaver Fabian, Matthis Kruse, Faezeh Nasrabadi, Robert Künnemann