Research facility · founded 2019
STAMP: Sûreté du logiciel et Preuves Mathématiques Formalisées
Sophia Antipolis, France · inria.fr/equipes/stamp
Part of Institut national de recherche en sciences et technologies du numérique
- Citations, last 5 years
- 28
- Works, last 5 years
- 40
- h-index
- 12
- Scientists listed
- 0
- Grants since 2016
- 0