Timetable
- Event Category
- Full Talk
- Title
- Talk 3
- Location
- Room 1.06 in E1 1 and online
- Details
- Starttime
- 06.07.2022 10:15
- Endtime
- 06.07.2022 10:15
- the whole day
- No
From Program Verification to Synthesis
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Noemi Passing, Malte Schledjewski