Home

Alin Deutsch, Monica Marcus, Liying Sui, Victor Vianu, Dayou Zhou (sigmod, 2005, research)

A verifier for interactive, data-driven web applications

dbs.uni-leipzig.de/david