This course is an introduction to the foundations of semantics and program analysis. It presents the basis necessary
to specify and design reliable applications, as well as to build and use analysis and verification tools.
Courses of Programming and Language theory (1st year).
The course exists in the following branches:
Course ID : 4MMACSS
The course is attached to the following structures:
You can find this course among all other courses.
Date of update June 18, 2017