Organizations · FR

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

ROR

https://ror.org/046v7pr94

OpenAlex

https://openalex.org/I4405260740

Country

FR

Type

facility

Status

active

Organization website