Veröffentlichungen // Universität Oldenburg https://uol.de/ddi/veroeffentlichungen
DiethelmSMBZ20, author = {Ira Diethelm and Nina Schneider and Matthias Matzner and Maja Br
Dein Suchergebnis zum Thema: Hand/<br
Publikationen // Universität Oldenburg https://uol.de/csd/pub
Br\"uckner and H.
Prof. Dr. Ernst-Rüdiger Olderog (i.R.) // Universität Oldenburg https://uol.de/csd/persons/prof-dr-ernst-ruediger-olderog
The formal specification is on the one hand the starting point for {\em verifying