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