I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Courses

Model Checking
held by: Univ.-Prof. Dr. Dr. h.c. Javier Esparza
held in: SS 2018
sws: 4
ects: 8
more information: /um/courses/mc/ss2018/