Verification Bernd Finkbeiner

News

Course Project Released!

Written: 11.11.2021 16:22 Written By: Julian Siber

Dear students,

We have released the first part of the course project.

You can find detailed instructions in the Project Overview and Project Part 1 in the Materials section of the CMS.

If you have any questions regarding the project, post on MS Teams or come to the Office Hour.

Best of luck, and give Rust a try!
Your Verification Team



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