[Online] Study Support Lecture: Program Correctness

No matter how long you search you can't find that invariant? going round in circles trying to make some recurrence functions? Come to our support lecture where we will be going through a past exam and helping you get through those proofs!

Just go to the Cover Nestor page and to live sessions or follow the guest link:
https://eu.bbcollab.com/gues...5affe514b4c7699a46a9ac1e0722a