CTR-S: A logic for specifying contracts in Semantic Web Services

Hasan Davulcu, Michael Kifer, I. V. Ramakrishnan

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

3 Scopus citations

Fingerprint

Dive into the research topics of 'CTR-S: A logic for specifying contracts in Semantic Web Services'. Together they form a unique fingerprint.

Engineering & Materials Science