Verification of database-driven systems via amalgamation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

Verification of database-driven systems via amalgamation

No file

Dates and versions

hal-00908771 , version 1 (25-11-2013)

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⟩
111 View
1 Download

Share

Gmail Facebook X LinkedIn More