4 DAHU - Verification in databases (LSV ENS de Cachan 61 avenue du Président Wilson 94235 CACHAN Cedex FRANCE - France)
- LSV - Laboratoire Spécification et Vérification [Cachan] (Bâtiment d'Alembert 61 Avenue du Président Wilson 94235 CACHAN CEDEX - France)
- ENS Cachan - École normale supérieure - Cachan (61, avenue du Président Wilson - 94230 Cachan - France)
- CNRS - Centre National de la Recherche Scientifique : UMR8643 (France)
- Inria Saclay - Ile de France (1 rue Honoré d'Estienne d'Orves
Bâtiment Alan Turing
Campus de l'École Polytechnique
91120 Palaiseau - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)