Skip to Main content Skip to Navigation
Conference papers

Verification of database-driven systems via amalgamation

Mikołaj Bojańczyk 1 Luc Segoufin 2 Szymon Toruńczyk 1
2 DAHU - Verification in databases
LSV - Laboratoire Spécification et Vérification [Cachan], Inria Saclay - Ile de France
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-00908771
Contributor : Luc Segoufin <>
Submitted on : Monday, November 25, 2013 - 11:53:16 AM
Last modification on : Thursday, July 2, 2020 - 5:26:03 PM

Identifiers

  • 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. ⟨hal-00908771⟩

Share

Metrics

Record views

264