Automated Verification of Web Sites Using Partial Rewriting.

Mara Alpuente, Demis Ballis, Moreno Falaschi

Browse the full ISoLA paper archive.