Home

Publications

Teaching

The Psyche prover

The Ψ project

Dr Stéphane Graham-Lengrand

Chargé d'Enseignement à l'École Polytechnique

Département d'Informatique de l'X      

Teaching