Languages and Machines, 2015, period IIb.
Here are also links to the courses of the years 2014 and 2013 and 2012.
The course Program Correctness, term IIa, 2010/2011. Outdated.
Some persistent material about our former masters' course
Automated Reasoning can be found on
Short introduction to theorem proving with PVS
The former course Concurrency, outdated, 2008/2009.
schedule of Computing Science.
To my start page.
Last modified: 27 February, 2015 Wim H. Hesselink