263-2910-00L
Program Analysis and Synthesis
| Semester | Spring Semester 2016 |
| Lecturers | M. Vechev |
| Periodicity | yearly recurring course |
| Language of instruction | English |
| Number | Title | Hours | | Lecturers |
|---|
| 263-2910-00 V | Program Analysis and Synthesis | 3 hrs | | M. Vechev |
| 263-2910-00 U | Program Analysis and Synthesis | 2 hrs | | M. Vechev |
