Parameterized Verification

Lecture tomorrow canceled

Written on 06.06.2024 11:30 by Swen Jacobs

Dear students,

due to health issues I have to cancel tomorrow's lecture. For your convenience, we will also postpone the discussion of the current exercise sheet to next week.