Exams
Exams will be held together with those of Formal Methods 2023/24, please refer to the Formal Methods 2023/24 page
Examples of exam tests can be found in the Course Material
To take the final test on May 23, 2024 at 15:00 in room A5 and A6, please register here