Verification of database-driven systems via amalgamation

Mikołaj Bojańczyk 1 Luc Segoufin 2 Szymon Toruńczyk 1
2 DAHU - Verification in databases
CNRS - Centre National de la Recherche Scientifique : UMR8643, Inria Saclay - Ile de France, ENS Cachan - École normale supérieure - Cachan, LSV - Laboratoire Spécification et Vérification [Cachan]
Type de document :
Communication dans un congrès
ACM conf. on Principle of Database Systems (PODS), Jun 2013, New-York, United States. pp.63-74, 2013
Liste complète des métadonnées

https://hal.inria.fr/hal-00908771
Contributeur : Luc Segoufin <>
Soumis le : lundi 25 novembre 2013 - 11:53:16
Dernière modification le : mardi 5 février 2019 - 13:46:01

Identifiants

  • HAL Id : hal-00908771, version 1

Collections

Citation

Mikołaj Bojańczyk, Luc Segoufin, Szymon Toruńczyk. Verification of database-driven systems via amalgamation. ACM conf. on Principle of Database Systems (PODS), Jun 2013, New-York, United States. pp.63-74, 2013. 〈hal-00908771〉

Partager

Métriques

Consultations de la notice

216