16 citations · 39 across the 21 of their papers we have counts for
1 paper · 1 filter
António Ravara, Josep Silva
This volume contains the accepted papers of the 9th International Workshop on Automated Specification and Verification of Web Systems (WWV'13), which took place in Florence, Italy,…