Re-exam Results and Inspection
the results of the re-exam, and hence the final grades, are available in the rCMS. The re-exam inspection will take place on April 21 from 10:00 to 12:00 in SR106 in E1.1. Please bring your student ID.
We reached the end of the verification course and we hope that you enjoyed the course. We are looking forward to seeing you in upcoming lectures of the Reactive Systems Group.