names.value: STAMP
names.types: acronym
names.value: STAMP: Safety Techniques based on Formalized Mathematical Proofs
names.types: label
names.lang: en
names.value: STAMP: Sûreté du logiciel et Preuves Mathématiques Formalisées
names.types: label ror_display
names.lang: fr
relationships.type: parent
relationships.label: Centre Inria d'Université Côte d'Azur
relationships.id: https://ror.org/01nzkaw91