252-0239-00L  Software Verification

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


Performance assessment information (valid until the course unit is held again)
Performance assessment as a semester course
ECTS credits6 credits
ExaminersB. Meyer, C. A. Furia, S. Nanz
Typeend-of-semester examination
Language of examinationEnglish
RepetitionThe performance assessment is only offered at the end after the course unit. Repetition only possible after re-enrolling.
Additional information on mode of examinationProject (take-home exam): 30%,

Final exam at end of semester (105 min.): 70%