252-0239-00L Software Verification
Semester | Autumn Semester 2015 |
Lecturers | B. Meyer, C. A. Furia, S. Nanz |
Periodicity | yearly recurring course |
Language of instruction | English |
There are no additional restrictions for the registration. |
Semester | Autumn Semester 2015 |
Lecturers | B. Meyer, C. A. Furia, S. Nanz |
Periodicity | yearly recurring course |
Language of instruction | English |
There are no additional restrictions for the registration. |