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
Universitetet i Oslo
Boks 1072 Blindern
Ved brann, ulykker og alvorlige hendelser ring 22 85 66 66