Towards a Formalization of Contracts for Service Substitution.

Marlon Dumas, Yong Yang, Liang Zhang

Browse the full SERVICES paper archive.