263-2910-00L Automated Techniques for Software Reliability
Semester | Autumn Semester 2012 |
Lecturers | M. Vechev |
Periodicity | yearly recurring course |
Language of instruction | English |
Number | Title | Hours | Lecturers | ||||
---|---|---|---|---|---|---|---|
263-2910-00 V | Automated Techniques for Software Reliability | 2 hrs |
| M. Vechev | |||
263-2910-00 U | Automated Techniques for Software Reliability | 1 hrs |
| M. Vechev |