Ecosystem Registry

STAMP: Sûreté du logiciel et Preuves Mathématiques Formalisées

University or research institute · Sophia Antipolis, France · Founded 2019

University or research institute in Sophia Antipolis, France, founded 2019. Part of the Innovative EcoSystems registry.

inria.fr