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

Semester: 
2012. ősz