Laboratoire Méthodes Formelles (LMF) ROR

Also known as
Formal Method Laboratory, UMR 9021, UMR9021
Type
Facility
Location
Website
Wikidata

Related organizations

Related organizations

Parent
École Normale Supérieure Paris-Saclay ROR
Centre National de la Recherche Scientifique ROR
Université Paris-Saclay ROR
Children
DEDUCTEAM: Deduction modulo, interopérabilité et démonstration automatique ROR
TOCCATA: Certified Programs, Certified Tools, Certified Floating-Point Computations ROR
QUACS: Structures de calcul quantique ROR