L14: Proof of program correctness

Semester: 
2017. ősz