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