Sommersemester 2013
| Type | Course |
|---|---|
| Lecture | Language Technology and Compiler |
| Lecture | Advanced Object-Orientation |
| Lecture | Software Engineering Practice |
| Common Excercises | Tutorial for Language Technology and Compiler |
| Common Excercises | Advanced Object-Orientation Excercises |
| Laboratory | Theorem prover lab: applications in programming languages |
Wintersemester 2012/2013
| Type | Course |
|---|---|
| Lecture | Programming Paradigms |
| Lecture | Software Engineering Practice |