Parameterized Verification

First Lecture: Room change

Written on 18.04.2024 09:27 by Swen Jacobs

Dear students, please note that our first lecture (tomorrow at 10:15) will take place in the CISPA lecture hall (C0, room 0.05), and not in our usual room 0.02.