TY - BOOK
T1 - Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems
A2 - ter Beek, Maurice H.
A2 - Lluch Lafuente, Alberto
N1 - Conference code: 11
PY - 2015
Y1 - 2015
N2 - 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.
AB - 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.
U2 - 10.4204/EPTCS.188
DO - 10.4204/EPTCS.188
M3 - Book
T3 - Electronic Proceedings in Theoretical Computer Science
BT - Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems
T2 - 11th International Workshop on Automated Specification and Verification of Web Systems
Y2 - 23 June 2015 through 23 June 2015
ER -