Fifth Problem Set
Written: 28.06.2019 17:51 Written By: Swen Jacobs
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!