INFO0060 - Introduction to Computer Systems Verification

General information

Transparencies

The transparencies used during the course are available here: