Formal specification and verification of data-centric service composition

Iman Saleh, Gregory Kulczycki, M. Brian Blake

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Scopus citations

Fingerprint Dive into the research topics of 'Formal specification and verification of data-centric service composition'. Together they form a unique fingerprint.

Engineering & Materials Science