15 min talk · Wednesday, 9:00-9:15 · Model Checking and Exchange Formats · Chair: Dirk Beyer
Dániel KovácsBME, Budapest
Dániel Kovács, Milán Mondok
TBA