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

Pearls of Computer Science 3
held by: Univ.-Prof. Dr. Andrey Rybalchenko
Dr. Corneliu Popeea
held in: WS 2012/2013
more information: http://www7.in.tum.de/um/courses/pearl3/ws1213/