Research facility · founded 2018
GALLINETTE: Gallinette : vers une nouvelle génération d'assistant à la preuve
Rennes, France · inria.fr/equipes/gallinette
Part of École Centrale de Nantes
- Citations, last 5 years
- 26
- Works, last 5 years
- 48
- h-index
- 15
- Scientists listed
- 0
- Grants since 2016
- 0