WWV 2010: Vienna, Austria
- Laura Kovács, Temur Kutsia:
6th International Workshop on Automated Specification and Verification of Web Systems, WWV 2010, Vienna, Austria, July 30-31, 2010. EPiC Series in Computing 18, EasyChair 2013 - Franz Weitl, Shin Nakajima:
Incremental Construction of Counterexamples in Model Checking Web Documents. 34-50 - Jesús Manuel Almendros-Jiménez, Antonio Becerra-Terón, Francisco García-García:
Development of a Query Language for GML based on XPath. 51-64 - Héctor Valero, Carlos J. Castillo, Josep Silva:
Reconstructing Information Retrieved from Multiple Websites. 65-80