We will have a closed book final exam.
The second compulsory assignment is now online. The feedback for your first compulsory assignment will be available soon, we apologize for the delay.
Reference for Program Verification: Micharl Huth & Mark Ryan: Logic in Computer Science - modeling and reasoning about systems, Chapter 4. (This book can be found in the IFI library).
Department of Informatics