> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Artikel Titel: A rewriting logic approach to the formal specification and verification of web applications Beteiligte: Alpuente, María; Ballis, Demis; Romero, Daniel Erschienen: Elsevier BV, 2014 Erschienen in: Science of Computer Programming, 81 (2014), Seite 79-107 Sprache: Englisch DOI: 10.1016/j.scico.2013.07.014 ISSN: 0167-6423 Schlagwörter: Software Entstehung: Anmerkungen: Zugangsstatus: Freier Zugang