Verification in databases Équipe de recherche56043
DAHULSV ENS de Cachan 61 avenue du Président Wilson 94235 CACHAN Cedex FRANCERNSR : 200818998VFrancehttp://www.inria.fr/equipes/dahuDate de création : jeudi 1 janvier 2009Date de fermeture/fusion : dimanche 31 décembre 2017
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
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