names.value: TOCCATA
names.types: acronym
names.value: TOCCATA: Certified Programs, Certified Tools, Certified Floating-Point Computations
names.types: label ror_display
names.lang: en
relationships.type: parent
relationships.label: Centre Inria de Saclay
relationships.id: https://ror.org/0315e5x55
relationships.type: parent
relationships.label: Laboratoire Méthodes Formelles
relationships.id: https://ror.org/00gdtta79
relationships.type: parent
relationships.label: Centre Inria de l'Université Paris-Saclay
relationships.id: https://ror.org/040753f36