News
Lecture today: room, slides
Written on 10.05.2024 09:11 by Swen Jacobs
Dear students,
as a reminder, the lecture today will be held in the CISPA lecture hall again. I have also just uploaded preliminary slides for today's lecture.
Parameterized Verification
Swen Jacobs