lukas.panneke@uol.de
uol.de/en/computingscience/groups/formal-methods/team/lukas-panneke
Carl von Ossietzky Universität Oldenburg Ammerländer Heerstraße 114-118 26129 Oldenburg
A02 3-338 (» Adress and map)
Summer term 2025