Nagy méretű forráskódmodellek gráfkeresés alapú helyességellenőrzése
Típus:
Önálló laboratórium (BSc)
Semester:
2014. tavasz
Tématerület:
Modellalapú szoftvertervezés
Konzulens (belső):
Benedek Izsó
Konzulens (belső):
István Zoltán Ráth
Konzulens (belső):
Gábor Szárnyas 
