Semeráth Oszkár nyilvános doktori védése

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)