Examples of previous exams

Previous exams here. Please be aware that the content of the course has changed since 2022, so please ignore questions related to Hoare logic since this is no longer part of the curriculum. The solution for the exam of last year will be discussed during the group session on the 20th of November.