marianne-delhaye documents

Interprétation abstraite et validation de logiciels critiques Matthieu Martel
Documents Interprétation abstraite et validation de logiciels critiques Matthieu Martel