INFO0060 - Introduction to Computer Systems Verification
General information
Presentation
of the course.
Audience: Master in engineering (computer science), master in computer science, 3rd cycle students.
Time and place: Second semester, TBD.
Evaluation: Oral exam.
Transparencies
The transparencies used during the course will be published here shortly before the first lecture.
Other courses
|
Main page