TY  - RPRT
TI  - Issues about the Adoption of Formal Methods for Dependable Composition of Web Services
AU  - Manuel Mazzara
AU  - Michele Ciavotta
PY  - 2013
UR  - https://arxiv.org/abs/1311.2535
ID  - 1311.2535
ER  -