Tom Hubrecht

5
Documents
Affiliations actuelles
  • Arithmétiques des ordinateurs, méthodes formelles, génération de code (ARIC)
  • Laboratoire de l'Informatique du Parallélisme (LIP)
  • École normale supérieure de Lyon (ENS de Lyon)
Identifiants chercheurs