25 citations · 25 across the 1 of their papers we have counts for
1 paper · 1 filter
Andrea Ferrara
It is now well-admitted that formal methods are helpful for many issues raised in the Web service area. In this paper we present a framework for the design and verification of WSs…