EA04: Részletes tervek ellenőrzése. LTL modellellenőrzés.

Semester: 
2012. ősz