Ruhr-Universität Bochum. Logik und Formale Verifikation Ab 1.10.2021 ist administrative Überordnung die Fakultät für Informatik Bezüge im Wissensnetz Administrative Überordnung der Körperschaft (3) GND-Körperschaften Ruhr-Universität Bochum Ruhr-Universität Bochum. Fakultät für Informatik Ruhr-Universität Bochum. Fakultät für Mathematik Als Affiliation beteiligt (1) GND-Personen Schmellenkamp, Marko Oberbegriff instantiell (1) GND-Körperschaften Arbeitsgruppe