Charles de Haro
About
/
Resume
/
Teaching
L3 ENS - Semantics and application to verification
Practical sessions
TP 1 - Denotational semantics
TP 2 - Types
TP 3 - Interval analysis
TP 4 - Relational analysis
Project
The project is available
here
!