The course
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.
To the
schedule of Computing Science.
To my start
page.
Last modified: 27 February, 2015
Wim H. Hesselink