252-0239-00L  Software Verification

SemesterAutumn Semester 2015
LecturersB. Meyer, C. A. Furia, S. Nanz
Periodicityyearly recurring course
Language of instructionEnglish


There are no additional restrictions for the registration.