Automated Verification of Web Sites using Partial Rewriting

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

2004

Automated Verification of Web Sites using Partial Rewriting