News
Handbook and Kickoff Slides available
Written on 13.11.2020 11:37 by Swen Jacobs
Dear students,
I have added the slides of our kickoff meeting and a link to the Handbook of Model Checking under Information>Materials.
If you have problems accessing the handbook (should work with a VPN to UdS), please let us know ASAP. The same holds if you have any other questions regarding the proseminar :)
See you next week!