SUMMER 09

In the summer term 2009 we offer:


Basisvorlesung: Concurrent Programming
Seminar: Concurrency Theory
Advanced course: Quantitative Model Checking
Advanced course: Program Verification Using Separation Logic