The DEDALE Prototype

Stéphane Grumbach 1 Philippe Rigaux 2 Michel Scholl 2 Luc Segoufin 3
1 VERSO - Databases
Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR8629
3 DAHU - Verification in databases
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Document type :
Book sections
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01124489
Contributor : Laboratoire Cedric <>
Submitted on : Friday, March 6, 2015 - 10:36:53 AM
Last modification on : Monday, September 9, 2019 - 6:58:01 PM

Identifiers

  • HAL Id : hal-01124489, version 1

Citation

Stéphane Grumbach, Philippe Rigaux, Michel Scholl, Luc Segoufin. The DEDALE Prototype. The DEDALE Prototype, 2000. ⟨hal-01124489⟩

Share

Metrics

Record views

343