Master Thesis Exam - Bjarke V. Grøn - How to Verify the Correctness of Delegated Computations Oplysninger om arrangementet Tidspunkt Fredag 25. oktober 2013, kl. 11:00 - 12:00 Tilføj til kalender Sted ADA 333 Arrangør Dept. of Computer Science