From April 16, 2018 until July 11, 2018

Course: CS4135 Edition: 2017-2018

Enroll
One can enroll until Wed, May 1, 2019 12:00
Course staff
Lecturers
  • Robbert Krebbers
Assistants
  • Arjen Rouvoet
About the Course

All information about the course can be found at https://gitlab.ewi.tudelft.nl/sv/course2018/

Weblab is solely used for handing in and grading of the weekly homework exercises.

News