Research facility · founded 2021
TOCCATA: Certified Programs, Certified Tools, Certified Floating-Point Computations
Saclay, France · toccata.lri.fr/activities.fr.html
- Citations, last 5 years
- 51
- Works, last 5 years
- 52
- h-index
- 28
- Scientists listed
- 0
- Grants since 2016
- 0
Scientists
Researchers whose latest known affiliation is TOCCATA: Certified Programs, Certified Tools, Certified Floating-Point Computations, by citations in the last five years.
No scientists with an ORCID iD listed here yet.