Home

Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou (sigmod, 2006, demo)

A system for specification and verification of interactive, data-driven web applications

dbs.uni-leipzig.de/david