Diagrammatically-Driven Formal Verification of Web-Services Composition.

Petros Papapanagiotou, Jacques D. Fleuriot, Sean Wilson

Browse the full DIAGRAMS paper archive.