19 citations · 31 across the 12 of their papers we have counts for
1 paper · 1 filter
Maurice H. ter Beek, António Ravara
These proceedings contain the papers presented at the 10th International Workshop on Automated Specification and Verification of Web Systems (WWV 2014), which was held on 18 July 2…