15 min talk · Thursday, 9:45-10:00 · Software Verification and Formalisation · Chair: Oszkár Semeráth
Éva Mária SzabóBME, Budapest
Éva Mária Szabó
TBA