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

by A Deutsch, L Sui, V Vianu
Venue:Journal of Computer and System Sciences