Ecosystem Registry

ARIC: Arithmétiques des ordinateurs, méthodes formelles, génération de code

University or research institute · Lyon, France · Founded 2022

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

inria.fr