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

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

Apr 15

Class has started

Apr 16

Site has gone online

Apr 26

First exercise has been posted