You are here

A Rewriting-based Framework for Web Sites Verification

M. Alpuente, Ballis, D., and Falaschi, M., “A Rewriting-based Framework for Web Sites Verification”, Proceedings of the 5th International Workshop on Rule-Based Programming (RULE 2004). Elsevier, pp. 41–61, 2005.