Diagrammatically-Driven Formal Verification of Web-Services Composition

Petros Papapanagiotou, Jacques Fleuriot, Sean Wilson

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Fingerprint

Dive into the research topics of 'Diagrammatically-Driven Formal Verification of Web-Services Composition'. Together they form a unique fingerprint.

Engineering & Materials Science