Justin Hendrichs presents his bachelor thesis on Wednesday, 02.08.2023 at 15:00 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.