Master Course
Automatic Program Analysis

WebHome
- Education Page
- Description
- Literature
- Schedule and Slides
- Assignments
- Software

Center
Master Program

Web Home

Apa

Master Course Program Analysis

Welcome to the course. Except for the precise schedule, the website is largely up-to-date.

This is the homepage of the master course on program analysis that will be taught in the fourth period of the 2012-2013 academic year.

Overview

Course Description: description of topics of the course
Education Page: information on the official department site with times and rooms
Course Schedule: detailed planning of lectures with slides
Registered Students: students registered in Osiris