Skip to Main content Skip to Navigation
Book sections

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], Inria Saclay - Ile de France
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 : Thursday, July 2, 2020 - 5:26:03 PM

Identifiers

  • HAL Id : hal-01124489, version 1

Collections

Citation

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

Share

Metrics

Record views

353