- -

A rewriting logic approach to the formal specification and verification of web applications

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia