Towards Verifying Contract Regulated Service Composition.

Alessio Lomuscio, Hongyang Qu, Monika Solanki

Browse the full ICWS paper archive.