I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Model-Checking SS 2018

  News | Basic information | Content | Exercises | Slides | Links | Exam

Slides for the course prepared by Javier Esparza, Stefan Schwoon, and Jan Kretinsky: