Media type: E-Article Title: A rewriting logic approach to the formal specification and verification of web applications Contributor: Alpuente, María; Ballis, Demis; Romero, Daniel Published: Elsevier BV, 2014 Published in: Science of Computer Programming, 81 (2014), Seite 79-107 Language: English DOI: 10.1016/j.scico.2013.07.014 ISSN: 0167-6423 Origination: Footnote: Access State: Open Access