courses

Course: Principles of Model Checking. University of Twente, Enschede, September 5, 12, 26 and October 3, 2012.