From Program Verification to Synthesis Raven Beutner, Bernd Finkbeiner, Hadar Frenkel, Noemi Passing, Malte Schledjewski


final report submission

Written: 28.07.2022 15:51 Written 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!



Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators