Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| SysV: Second recorded lecture will be available | System verification | 07.12.20 | 07.12.20 | No | |||
| SysV: Third recorded lecture will be available | System verification | 14.12.20 | 14.12.20 | No |
Formal Methods in Security
Vassena, Nemati, Künnemann