Termine
| Titel | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Presentations | Presentations | 29.09.23 | N/A | Yes | |||
| 2nd Summary due | Summaries | 01.07.23 | N/A | Yes | |||
| 1st Summary due | Summaries | 01.06.23 | N/A | Yes |
Formal Compiler Security
Xaver Fabian, Matthis Kruse, Faezeh Nasrabadi, Robert Künnemann