263-2910-00L  Program Analysis and Synthesis

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


NumberTitleHoursLecturers
263-2910-00 VProgram Analysis and Synthesis3 hrs
Mon13:15-16:00CAB G 51 »
M. Vechev
263-2910-00 UProgram Analysis and Synthesis2 hrs
Tue13:15-15:00CHN F 46 »
M. Vechev