Media type: E-Article Title: Specification and verification of data-driven Web applications Contributor: Deutsch, Alin; Sui, Liying; Vianu, Victor Published: Elsevier BV, 2007 Published in: Journal of Computer and System Sciences, 73 (2007) 3, Seite 442-474 Language: English DOI: 10.1016/j.jcss.2006.10.006 ISSN: 0022-0000 Origination: Footnote: Access State: Open Access