News
First Exercise Sheet
Written on 29.04.2024 18:11 by Swen Jacobs
Dear students,
the first exercise sheet is now available under Materials. Please hand in solutions before the first discussion slots, i.e., until Thursday evening.
Parameterized Verification
Swen Jacobs