Home

Publications

Teaching

The Psyche prover

The Ψ project

Dr Stéphane Graham-Lengrand

Professeur Chargé de Cours à l'École Polytechnique

Département d'Informatique de l'X      

Teaching