Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou. A system for specification and verification of interactive, data-driven web applications. In Surajit Chaudhuri, Vagelis Hristidis, Neoklis Polyzotis, editors, Proceedings of the ACM SIGMOD International Conference on Management of Data, Chicago, Illinois, USA, June 27-29, 2006. pages 772-774, ACM, 2006. [doi]
Abstract is missing.