L15: Proof of program correctness

Semester: 
2018. ősz