Szimbolikus modellellenőrzés és végrehajtási szekvencia generálás vezérelt kereséssel
Típus:
Kari TDK
Félév:
2015. ősz
Konzulens (belső):
Molnár Vince
Konzulens (belső):
Vörös András 
Jutalom:
1. helyezés 
