Verification of database-driven systems via amalgamation - Archive ouverte HAL Access content directly
Conference Papers Year : 2013

Verification of database-driven systems via amalgamation

(1) , (2) , (1)
1
2
Not 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⟩
109 View
1 Download

Share

Gmail Facebook Twitter LinkedIn More