Study Support: Program Correctness

For the first time in history, the StudCee organizes a study support lecture for Program Correctness. We are here to review the material for you and to answer your questions. So, whether you still not quite understand some details, or you just want to see if you understood the material, be sure to come, and bring your friends!