Institute for Logic, Language and Computation

4 September 2012, Master of Logic defense, Kyndylan Nienhuis

Candidate: Kyndylan Nienhuis
Title: Automatic Verification of Programs with Indirection
Date: Tuesday 4 September 2012
Time: 15:00
Location: Room G3.10, Science Park 904, Amsterdam
Supervisor: Jan van Eijck
For more information, please contact

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X