1. Programverifikáció I: korlátos modellellenőrzés
Semester:
2019. tavasz
Formális módszerek tárgy diasora korlátos modellellenőrzés témában.
Download:
Formális módszerek tárgy diasora korlátos modellellenőrzés témában.
