Model Checking: Techniques and Applications Swen Jacobs


Grades available

Written: 09.04.2021 10:32 Written By: Swen Jacobs

Dear students,

your final grades are now available here, and have been entered into LSF/HISPOS. If you have questions regarding your grade or want feedback on your report, please contact your tutor.

This marks the end of our proseminar. I hope you found it interesting and also had some fun. In any case, I enjoyed your talks and was surprised by the overall quality.

We wish you all the best for the new semester!

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