Parameterized Verification

Room change

Written on 11.04.2019 11:40 by Swen Jacobs

Dear students,

since we are a rather small group, we will have the lecture not in the lecture hall 0.05, but in (the more comfortable) room 0.01 of E9 1.

See you later!