Issues about the Adoption of Formal Methods for Dependable Composition of Web Services

Manuel Mazzara, Michele Ciavotta. Issues about the Adoption of Formal Methods for Dependable Composition of Web Services. IJSSOE, 4(4):35-50, 2014. [doi]

Abstract

Abstract is missing.