263-2812-00L Program Verification
| Semester | Spring Semester 2019 |
| Lecturers | A. J. Summers |
| Periodicity | yearly recurring course |
| Language of instruction | English |
| Comment | Number of participants limited to 30. |
| Number | Title | Hours | Lecturers | ||||
|---|---|---|---|---|---|---|---|
| 263-2812-00 V | Program Verification | 2 hrs |
| A. J. Summers | |||
| 263-2812-00 U | Program Verification | 1 hrs |
| A. J. Summers | |||
| 263-2812-00 A | Program Verification | 1 hrs | A. J. Summers |