Master Thesis Exam - Peter H. Steffensen - How to Verify the Correctness of Delegated Computations Info about event Time Friday 25 October 2013, at 10:00 - 11:00 Add to calendar Location ADA-333 Organizer Dept. of Computer Science