News
Second Exercise Sheet
Written on 03.05.2024 19:05 by Swen Jacobs
Dear students,
the second exercise sheet is now available under Materials. Please hand in solutions until Thursday evening.
Parameterized Verification
Swen Jacobs
Written on 03.05.2024 19:05 by Swen Jacobs
Dear students,
the second exercise sheet is now available under Materials. Please hand in solutions until Thursday evening.