Proving with computer assistance

Course

Description

Please use the e-mail address H.Geuvers@cs.ru.nl.
Course period1/09/15 → …
Course formatCourse