4. Programverifikáció I: korlátos modellellenőrzés
Semester:
2018. 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.