This course deepens the understanding of the topics in the course "6.0 VU Formal Methods in Computer Science" by offering additional exercises.
The course presents exercises for the following topics:
FIRST MEETING: 17 October 2017, 10:15, EI8