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.
Formális módszerek tárgy diasora korlátos modellellenőrzés témában.