TY  - RPRT
TI  - A theorem proving framework for the formal verification of Web Services Composition
AU  - Petros Papapanagiotou
AU  - Jacques D. Fleuriot
PY  - 2011
DO  - 10.4204/eptcs.61.1
UR  - https://arxiv.org/abs/1108.2348
ID  - 1108.2348
ER  -