Justin Hendrichs presents his bachelor thesis on Wednesday, 19.06.2024 at 15:30h in our seminar room P1.6.17.1. The bachelor thesis is titled:
"Zeitverhaltensanalyse mit SMT".
The presentation will be given in German. Everyone who is interested is welcome to attend the session.