263-2925-00L Program Analysis for System Security and Reliability
| Semester | Spring Semester 2019 |
| Lecturers | M. Vechev |
| Periodicity | yearly recurring course |
| Language of instruction | English |
| Number | Title | Hours | Lecturers | ||||
|---|---|---|---|---|---|---|---|
| 263-2925-00 V | Program Analysis for System Security and Reliability | 2 hrs |
| M. Vechev | |||
| 263-2925-00 U | Program Analysis for System Security and Reliability | 1 hrs |
| M. Vechev | |||
| 263-2925-00 A | Program Analysis for System Security and Reliability | 1 hrs | M. Vechev |

