Parameterized Verification Swen Jacobs

News

Tutorials

Written: 16.04.2019 09:36 Written By: Swen Jacobs

Dear students,

the tutorial vote was not successful - for every proposed slot at least one third of the students say they cannot make it, so every choice seems to be very bad. I'll propose a different solution on Thursday.



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