names.value: OLAS
names.types: acronym
names.value: OLAS: Fondements opérationnels, logiques et algébriques des systèmes logiciels
names.types: label ror_display
names.lang: fr
names.value: OLAS: Operational, Logical, and Algebraic foundations for Software systems
names.types: label
names.lang: en
relationships.type: parent
relationships.label: Centre Inria d'Université Côte d'Azur
relationships.id: https://ror.org/01nzkaw91