Module Handbook

Darulova, Eva, Dr. (WMA | DEPT: INF)

Responsible for Modules

-

Lecturer for Modules

INF-56-01-M-6
Program Analysis
[INF-ALG] Algorithmics and Deduction
INF-88-74-M-7
Research Topics in Program Synthesis and Reliability (Seminar)
[INF-MPI] Max-Planck-Institute

Lecturer for Courses

INF-56-01-K-6
Program Analysis
3V+1U [INF-ALG] Algorithmics and Deduction
INF-88-74-K-7
Research Topics in Program Synthesis and Reliability (Seminar)
2S [INF-MPI] Max-Planck-Institute