Skip to content
Science Official PapersResearch shared and reviewed in the open
Science OfficialInstitutions

Research · Review · Discovery

JournalSearch
Sign inWrite

Research facility · founded 2021

TOCCATA: Certified Programs, Certified Tools, Certified Floating-Point Computations

Saclay, France · toccata.lri.fr/activities.fr.html

Part of École Normale Supérieure Paris-Saclay

Manage this page
Citations, last 5 years
51
Works, last 5 years
52
h-index
28
Scientists listed
0
Grants since 2016
0

Departments and units

No units recorded in ROR. The organisation can add them after claiming this page.