Organizations · FR

PASCALINE: Arithmétique des ordinateurs, calcul formel et vérification formelle

ROR

https://ror.org/00fk7fp57

OpenAlex

https://openalex.org/I4405258324

Country

FR

Type

facility

Status

active

Organization website