names.value: PASCALINE
names.types: acronym
names.value: PASCALINE: Arithmétique des ordinateurs, calcul formel et vérification formelle
names.types: label ror_display
names.lang: fr
names.value: PASCALINE: Computer Arithmetic, Computer Algebra and Formal Verification
names.types: label
names.lang: en
relationships.type: parent
relationships.label: Centre Inria de Lyon
relationships.id: https://ror.org/022gakr41