Időpont:
2019. június 17. 14:15
Helyszín:
I. ép. B. szárny 019.
Kategória:
PhD előadás
Szervezés:
BME-egyetem
Kapcsolattartó:
Informatikai Tudományok Doktori Iskola
Értekezésének címe: "Formal Validation and Model Generation for Domain-Specific Languages by Logic Solvers" (2019)