L14: Verification of the source code

Semester: 
2018. ősz