A Rewriting-based Framework for Web Sites Verification

MarĂ­a Alpuente, Demis Ballis, Moreno Falaschi. A Rewriting-based Framework for Web Sites Verification. Electronic Notes in Theoretical Computer Science, 124(1):41-61, 2005. [doi]

Abstract

Abstract is missing.