263-2925-00L  Program Analysis for System Security and Reliability

SemesterSpring Semester 2021
LecturersM. Vechev
Periodicityyearly recurring course
Language of instructionEnglish


NumberTitleHoursLecturers
263-2925-00 VProgram Analysis for System Security and Reliability2 hrs
Tue16-18CAB G 51 »
M. Vechev
263-2925-00 UProgram Analysis for System Security and Reliability1 hrs
Thu13-14CAB G 51 »
M. Vechev
263-2925-00 AProgram Analysis for System Security and Reliability3 hrsM. Vechev