News
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!