L14 (10.29.): Proof of program correctness (part 1)

Semester: 
2020. ősz