Professor Dr. Thomas Zeume

Adresse Ruhr-Universität Bochum
Center of Computer Science
Arbeitsgruppe Logik und Formale Verifikation
Wasserstraße 221
44799 Bochum