Fifth Problem Set

Written on 28.06.2019 17:51 by Swen Jacobs

Dear Students,

since it will be too hot to go outside on the weekend, you might as well spend your time at home with some Parameterized Verification(TM).

The fifth and final problem set is now online. As usual, it is due on Thursday before the lecture.

Have a nice weekend!

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