Research facility · founded 2025
PASCALINE: Arithmétique des ordinateurs, calcul formel et vérification formelle
Lyon, France · inria.fr/equipes/pascaline
Part of Institut national de recherche en sciences et technologies du numérique
- Citations, last 5 years
- 3
- Works, last 5 years
- 12
- h-index
- 1
- Scientists listed
- 0
- Grants since 2016
- 0