Christel Baier
From International Center for Computational Logic
Prof. Dr. Christel Baier
Professor Verification and formal quantitative Analysis
- christel.baier@tu-dresden.de
- +49 351 463 38548
- +49 351 463 38348
- APB 3006
CPEC
Center for Perspicuous Computing