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 is missing.