8. Programverifikáció

Semester: 
2016. tavasz

Formális módszerek tárgy diasora korlátos modellellenőrzés témában