Ruhr-Universität Bochum
Center of Computer Science
Arbeitsgruppe Logik und Formale Verifikation

Address Wasserstraße 221
44799 Bochum
Deutschland

GERiT This institution in GERiT

44799 Bochum

Projects

Research Grants
- Current projects
  - Formal Foundations for Teaching Support Systems in Theoretical Computer Science
    (Applicant Zeume, Thomas )
  - Perspectives on dynamic complexity theory
    (Applicant Zeume, Thomas )