Study Support Program Correctness

Trouble with Program Correctness. Can't seem to find the invariant? Then come to this support lecture, where we will practice for the exam. We will try to give you a different insight.

NB: due to personal circumstances with the lecturer, we had to redesign the event last minute. We no longer have an expert on the course, so we'll try to facilitate a working moment-like group activity where you can help each other. If this does not appease to you, we apologize for this short-term cancellation.