Communication Dans Un Congrès
Année : 2013
Luc Segoufin : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00908771
Soumis le : lundi 25 novembre 2013-11:53:16
Dernière modification le : vendredi 11 août 2023-14:26:04
Dates et versions
Identifiants
- HAL Id : hal-00908771 , version 1
Citer
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. ⟨hal-00908771⟩
Collections
111
Consultations
1
Téléchargements