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

Jorge Coelho, Mário Florido. VeriFLog: A Constraint Logic Programming Approach to Verification of Website Content. In Heng Tao Shen, Jinbao Li, Minglu Li, Jun Ni, Wei Wang, editors, Advanced Web and Network Technologies, and Applications, APWeb 2006 International Workshops: XRA, IWSN, MEGA, and ICSE, Harbin, China, January 16-18, 2006, Proceedings. Volume 3842 of Lecture Notes in Computer Science, pages 148-156, Springer, 2006. [doi]

Abstract

Abstract is missing.