A védés adatai
A
Budapesti Műszaki és Gazdaságtudományi Egyetem Doktori Tanácsa
és az
Informatikai Tudományok Doktori Iskola
megszervezte
Semeráth Oszkár
"Formal Validation and Model Generation for Domain-Specific Languages by Logic Solvers" (2019)
című értekezésének védését
informatikai tudományok tudományágban
A védés időpontja: 2019-VI-17 14:15
helye: BME I. ép. B. szárny 019.
Doi/handle elérés (értekezés, tézisek)
a doktorjelölt publikációs listája az MTMT-ben
Levendovszky János
iskolavezető
Varró Dániel
témavezető
Az oklevél dátuma (a fokozat odaítélése az Intézmény Doktori Tanácsának döntése alapján): 2019. VI. 27.