News
Open Submission Slot for Sheet 7
Written on 11.07.2024 12:29 by Tom Baumeister
Dear students,
You can now upload your submissions for the current exercise sheet until 23:59.
Parameterized Verification
Swen Jacobs
Written on 11.07.2024 12:29 by Tom Baumeister
Dear students,
You can now upload your submissions for the current exercise sheet until 23:59.