Timetable
- Event Category
- Individual Talks
- Title
- Paper 3 - Information Flow Control Based on Program Dependence Graphs
- Location
- Details
- Starttime
- 27.06.2023 14:15
- Endtime
- 27.06.2023 15:00
- the whole day
- No
Hyperproperties
Raven Beutner, Norine Coenen, Arthur Correnson, Matthias Cosler, Bernd Finkbeiner, Florian Kohn, Julian Siber