Timetable
- Event Category
- System verification
- Title
- Q/A compositional verification
- Location
- https://cispa-de.zoom.us/j/98380099551?pwd=NGpyc29UWUhiaHZLQ2pqMXZvUE9qZz09
- Details
- Starttime
- 09.12.2020 10:00
- Endtime
- 09.12.2020 12:00
- the whole day
- No
Formal Methods in Security
Vassena, Nemati, Künnemann