names.value: LSV
names.types: acronym
names.value: Laboratoire Spécification et Vérification
names.types: ror_display label
names.lang: fr
relationships.type: parent
relationships.label: French Institute for Research in Computer Science and Automation
relationships.id: https://ror.org/02kvxyf05
relationships.type: parent
relationships.label: Institut des Sciences de l'Information et de leurs Interactions
relationships.id: https://ror.org/04z22qz54
relationships.type: parent
relationships.label: École Normale Supérieure Paris-Saclay
relationships.id: https://ror.org/00hx6zz33