263-2910-00L  Program Analysis and Synthesis

Semester Spring Semester 2016
Lecturers M. Vechev
Periodicity yearly course
Language of instruction English


There are no additional restrictions for the registration.