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 |
Number | Title | Hours | Lecturers | |||||||
---|---|---|---|---|---|---|---|---|---|---|
252-0239-00 V | Software Verification A few of the Wednesday classes (1 hour, 15-16) are given by guest speakers on a research topic related to the content of the preceding Monday class. | 3 hrs |
| B. Meyer, C. A. Furia, S. Nanz | ||||||
252-0239-00 U | Software Verification | 2 hrs |
| B. Meyer, C. A. Furia, S. Nanz |