News
Final Grade
Written on 12.10.2023 12:04 by Raven Beutner
Dear students,
You can now find your final grade on your personal status page.
Hyperproperties
Raven Beutner, Norine Coenen, Arthur Correnson, Matthias Cosler, Bernd Finkbeiner, Florian Kohn, Julian Siber