Specification and verification of data-driven web applications (0)

by Alin Deutsch, Liying Sui, Victor Vianu
Venue:JCSS