Winter Term 2020/2021

CourseTeacher
Lecture:
Satisfiability Checking
ÁbrahámHaehn, Nalbach
Practical course:
Virtual Reality App for Wind Farms
Ábrahám, Richter
Proseminar:
Formale Methoden
Ábrahám, Abida, Richter
Seminar:
Satisfiability Checking
Ábrahám, Haehn, Nalbach