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