Christel Baier

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Prof. Dr. Christel Baier

ProfessorTechnische Universität DresdenInternational Center for Computational Logic Verifikation und formale quantitative Analyse
Iccl cube blue 200px.png

EMCL (offered until 2017)
European Master's Program in Computational Logic