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