263-2910-00L Automated Techniques for Software Reliability
Semester | Autumn Semester 2012 |
Lecturers | M. Vechev |
Periodicity | yearly recurring course |
Language of instruction | English |
Programme | Section | Type | |
---|---|---|---|
Computer Science Master | Focus Elective Courses Software Engineering | W | |
Certificate of Advanced Studies in Computer Science | Focus Courses and Electives | W |