43 citations · 170 across the 19 of their papers we have counts for
1 paper · 1 filter
Laura Kovacs, Rosario Pugliese, Francesco Tiezzi
This volume contains the final and revised versions of the papers presented at the 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011).…