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
University of Oslo
P.O. Box 1072 Blindern
In case of fires, accidents or serious incidents +47 22 85 66 66