Modell alapú verifikáció
Típus:
Témalabor
Semester:
2019. ősz
Tématerület:
Modellalapú szoftvertervezés
Konzulens (belső):
Bence Graics 
