Jorge Coelho Mário Florido Type-Based Static and Dynamic Website Verification. 32 2007 ICIW http://doi.ieeecomputersociety.org/10.1109/ICIW.2007.67 conf/iciw/2007 db/conf/iciw/iciw2007.html#CoelhoF07