Research facility · founded 2022
ARIC: Arithmétiques des ordinateurs, méthodes formelles, génération de code
Lyon, France · inria.fr/equipes/aric
Part of Institut national de recherche en sciences et technologies du numérique
- Citations, last 5 years
- 218
- Works, last 5 years
- 53
- h-index
- 28
- Scientists listed
- 0
- Grants since 2016
- 0
Scientists
Researchers whose latest known affiliation is ARIC: Arithmétiques des ordinateurs, méthodes formelles, génération de code, by citations in the last five years.
No scientists with an ORCID iD listed here yet.