6th International Workshop on Automated Specification and Verification of Web Systems, WWV 2010, Vienna, Austria, July 30-31, 2010

Laura Kovács, Temur Kutsia, editors, 6th International Workshop on Automated Specification and Verification of Web Systems, WWV 2010, Vienna, Austria, July 30-31, 2010. Volume 18 of EPiC Series, EasyChair, 2013. [doi]

Conference: wwv2013

Abstract

Abstract is missing.

Table of Contents