Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems

Maurice H. ter Beek (Editor), Alberto Lluch Lafuente (Editor)

Research output: Book/ReportBookResearchpeer-review

Abstract

These proceedings contain the papers presented at the 11th International Workshop on Automated Specification and Verification of Web Systems (WWV 2015), which was held on 23 June 2015 in Oslo, Norway, as a satellite workshop of the 20th International Symposium on Formal Methods (FM 2015). WWV is a yearly interdisciplinary forum for researchers originating from the following areas: declarative, rule-based programming, formal methods, software engineering and web-based systems. The workshop fosters the cross-fertilisation and advancement of hybrid methods from such areas.
Original languageEnglish
DOIs
Publication statusPublished - 2015
Event11th International Workshop on Automated Specification and Verification of Web Systems - Oslo, Norway
Duration: 23 Jun 201523 Jun 2015
Conference number: 11
SeriesElectronic Proceedings in Theoretical Computer Science
ISSN2075-2180

Conference

Conference11th International Workshop on Automated Specification and Verification of Web Systems
Number11
CountryNorway
CityOslo
Period23/06/201523/06/2015

Fingerprint

Dive into the research topics of 'Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems'. Together they form a unique fingerprint.

Cite this