Ecosystem Registry

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

University or research institute · Lyon, France · Founded 2025

University or research institute in Lyon, France, founded 2025. Part of the Innovative EcoSystems registry.

inria.fr