Type-Based Static and Dynamic Website Verification.

Jorge Coelho, Mrio Florido

Browse the full ICIW paper archive.