T05: A modellellenőrzés módszerének alapötlete

Semester: 
2012. ősz