Data of the public discussion
The
Eötvös Loránd University, Budapest Doctoral Committee
and the
Doctoral School of Informatics
doctoral school
has organized the public discussion of
Ákos Dávid
"Verification of Computer-Based Software with Model Checking"
in research field computer sciences
Date of the public discussion of the thesis: 2013-IX-26 10:00
place: ELTE Természettudományi Kar, 1117 Bp., Pázmány Péter sétány 1/A, 7.21-es kari tanácsterem
Main findings in the thesis (in Hungarian)
Main findings in the thesis (in English)
The thesis
publication list of the doctoral candidate in MTMT
András id. Benczúr
head of the school
László Kozma
Thesis supervisor
Date of diploma: 2013. XII. 11.