EA15: Absztrakció a verifikáció során

Semester: 
2013. ősz