Specification and Verification of Web Applications in Rewriting Logic.

Mara Alpuente, Demis Ballis, Daniel Romero

Browse the full FM paper archive.