Parameterized Verification Swen Jacobs

News

Tutorial vote now open

Written: 12.04.2019 06:59 Written By: Swen Jacobs

Dear students,

you should now be able to vote on the time slot for the tutorial. There are three time slots: Mon, Tue, Wed, each from 10-12. There are also three possible answers: Preferred, Okay, Not Okay. Please choose "Not Okay" only if it is really not possible for you.

Please vote until Sunday, then I will announce the decision on Monday.



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