Person Schmellenkamp, Marko Bezüge im Wissensnetz Bevorzugte Namensentität der Person (1) GND-Personen Schmellenkamp, Marko Beruf oder Tätigkeit (1) GND-Personen Informatiker Affiliation (1) GND-Personen Ruhr-Universität Bochum. Logik und Formale Verifikation