L3 ENS - Semantics and application to verification

Practical sessions

Project

The project is available here!