Parameterized Verification Swen Jacobs


Discussion slots and first problem set

Written: 21.04.2019 14:40 Written By: Swen Jacobs

Dear students,

we hope you have a nice long weekend. Once you get back from it, please use the first submission ("Discussion Slot Groups") to send us a simple txt file with the members of your group for the exercise sheets and discussions, and select (in tutorial preferences) the possible times for our discussion meeting. It is enough if one member of your group does this. Please do this until Wednesday evening.

The first problem set is now also available. It is due before the next lecture, i.e., until Thursday 13:59.

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators