Christel Baier

From International Center for Computational Logic

Prof. Dr. Christel Baier

ProfessorTechnische Universität DresdenInternational Center for Computational Logic Verification and formal quantitative Analysis
CPEC-logo.png

CPEC
Center for Perspicuous Computing