L04: Verification of the detailed design

Semester: 
2017. ősz