2. Programverifikáció I: korlátos modellellenőrzés

Semester: 
2020. tavasz

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