Conference Papers
Year : 2013
Luc Segoufin : Connect in order to contact the contributor
https://inria.hal.science/hal-00908771
Submitted on : Monday, November 25, 2013-11:53:16 AM
Last modification on : Wednesday, September 4, 2024-1:17:40 PM
Dates and versions
Identifiers
- HAL Id : hal-00908771 , version 1
Cite
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
119
View
1
Download