Justin Hendrichs presents his state on the bachelor thesis on Wednesday, 15.05.2024 at 11:00h in our seminar room P1.6.17.1. The bachelor thesis is titled:
"Time analysis with SMT".
The presentation will be given in German. Everyone who is interested is welcome to attend the session.