Skip to Content

Specification and verification of data-driven Web applications

Theory

Specification and verification of data-driven Web applications, Alin Deutsch, Liying Sui, and Victor Vianu, Journal of Computer and System Sciences, Volume 73, Number 3, p.442 - 474, (2007). [Special Issue: Database Theory 2004] URL

BibTex

Home | About CSE | CSE People | Faculty & Research | Graduate Education | Undergraduate Education | Administration | Contact CSE | Site Map

UC San Diego

All Content Copyright 2011 Regents of the University of California. All rights reserved.
Official Web page of the University of California, San Diego.
Login