263-4620-00L Formal System Development
| Semester | Autumn Semester 2011 |
| Lecturers | T. S. Hoang-Do, F. Klaedtke |
| Periodicity | yearly recurring course |
| Language of instruction | English |
| Programme | Section | Type | |
|---|---|---|---|
| Computer Science Master | Elective Focus Courses | W |  |
| Certificate of Advanced Studies in Computer Science | Focus Courses and Electives | W | |