263-2910-00L  Automated Techniques for Software Reliability

SemesterAutumn Semester 2012
LecturersM. Vechev
Periodicityyearly course
Language of instructionEnglish


There are no additional restrictions for the registration.