News
final report submission
Written on 28.07.2022 15:51 by Hadar Frenkel
Hi everyone,
This is a reminder that the deadline for submitting your final reports is tomorrow at 23:55.
Good luck with your exams, and have a great summer!
From Program Verification to Synthesis
Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Noemi Passing, Malte Schledjewski