News
Today's seminar starts at 14:00
Written on 20.06.2023 13:34 by Raven Beutner
Dear students,
Please remember that we start today's seminar at 14:00 sharp.
Hyperproperties
Raven Beutner, Norine Coenen, Arthur Correnson, Matthias Cosler, Bernd Finkbeiner, Florian Kohn, Julian Siber