A Rewriting-based Framework for Web Sites Verification

Alpuente Frasnedo María, DEMIS BALLIS, FALASCHI M.

2004

Electronic Notes in Theoretical Computer Science