names.value: Formal Method Laboratory
names.types: label
names.lang: en
names.value: LMF
names.types: acronym
names.value: Laboratoire Méthodes Formelles
names.types: ror_display label
names.lang: fr
names.value: UMR 9021
names.types: alias
names.value: UMR9021
names.types: alias
relationships.type: child
relationships.label: DEDUCTEAM: Deduction modulo, interopérabilité et démonstration automatique
relationships.id: https://ror.org/0305gxg06
relationships.type: child
relationships.label: TOCCATA: Certified Programs, Certified Tools, Certified Floating-Point Computations
relationships.id: https://ror.org/028m5h544
relationships.type: child
relationships.label: QUACS: Structures de calcul quantique
relationships.id: https://ror.org/042s1r231
relationships.type: parent
relationships.label: École Normale Supérieure Paris-Saclay
relationships.id: https://ror.org/00hx6zz33
relationships.type: parent
relationships.label: Centre National de la Recherche Scientifique
relationships.id: https://ror.org/02feahw73
relationships.type: parent
relationships.label: Université Paris-Saclay
relationships.id: https://ror.org/03xjwb503