2. Programverifikáció I: korlátos modellellenőrzés

Semester: 
2017. tavasz

Kérjük ismételjétek át a Formális módszerek tárgy diasorát korlátos modellellenőrzés témában