News
Course Project Released!
Written on 11.11.2021 16:22 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