Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| PROTO project: late deadline | Proto verification | 26.03.21 | N/A | Yes | |||
| SysV: First recorded lecture will be available | System verification | 30.11.20 | 30.11.20 | No |
Formal Methods in Security
Vassena, Nemati, Künnemann