VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content.

Jorge Coelho, Mrio Florido

Browse the full APWEB paper archive.