Comp. Science - 3rd term
Courses I took on the 3rd term of the academic year 2012/2013 as part of my master studies at Utrecht University, from February 4th, 2013 until April 19th, 2013:
- INFOMCCO - Compiler Construction
- Archives
Lecturer: Atze Dijkstra
- INFOPV - Program Verification
- Archives
Lecturer: Wishnu Prasetya