Vous êtes ici : FR > Le site universitaire > Panorama de la recherche
-
Partager cette page
Arithmétiques des ordinateurs, méthodes formelles, génération de code - PASCALINE
Tutelle(s) :
CNRS, INRIA, Université Claude Bernard Lyon 1, ENS Lyon
Domaine d'applications
Mathématiques - Informatique et sciences des donnéesCOORDONNÉES
- Mail :
- nicolas.brisebarre@inria.fr