Mikolaj Bojanczyk, Luc Segoufin, Szymon Torunczyk. Verification of database-driven systems via amalgamation. In Richard Hull, Wenfei Fan, editors, Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2013, New York, NY, USA - June 22 - 27, 2013. pages 63-74, ACM, 2013. [doi]
Abstract is missing.