We will have a closed book final exam.

Nov. 26, 2012 7:08 PM

The second compulsory assignment is now online. The feedback for your first compulsory assignment will be available soon, we apologize for the delay.

Oct. 19, 2012 1:52 PM

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).

Oct. 11, 2012 7:10 PM