Fiche d'une structure
Deduction modulo, interopérabilité et démonstration automatique Équipe de recherche454729
DEDUCTEAMENS CachanRNSR : 201121007RFrancehttp://www.inria.fr/equipes/deducteamDate de création : vendredi 1 janvier 2016Date de fermeture/fusion : mardi 31 décembre 2019
Laboratoire Spécification et Vérification [Cachan] Laboratoire2571
LSVBâtiment d'Alembert 61 Avenue du Président Wilson 94235 CACHAN CEDEXFrancehttp://www.lsv.ens-cachan.fr/Date de fermeture/fusion : mardi 31 décembre 2019
École normale supérieure - Cachan Institution6862
ENS Cachan61, avenue du Président Wilson - 94230 CachanFrancehttp://www.ens-cachan.fr/
UMR8643
Centre National de la Recherche Scientifique Regroupement d'Institutions441569
CNRSIdRef : 02636817XISNI : 0000000122597504ROR : https://ror.org/02feahw73Francehttps://www.cnrs.fr/Date de création : jeudi 19 octobre 1939 Structure verrouillée
Inria Saclay - Ile de France Laboratoire118511
1 rue Honoré d'Estienne d'Orves Bâtiment Alan Turing Campus de l'École Polytechnique 91120 PalaiseauRNSR : 200818248EROR : https://ror.org/0315e5x55Francehttp://www.inria.fr/centre/saclay
Institut National de Recherche en Informatique et en Automatique Institution300009
InriaDomaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay CedexROR : https://ror.org/02kvxyf05Francehttp://www.inria.fr/en/ Structure verrouillée