Marlon Dumas, Yong Yang, Liang Zhang. Towards a Formalization of Contracts for Service Substitution. In 6th World Congress on Services, SERVICES 2010, Miami, Florida, USA, July 5-10, 2010. pages 423-430, IEEE Computer Society, 2010. [doi]
@inproceedings{DumasYZ10,
title = {Towards a Formalization of Contracts for Service Substitution},
author = {Marlon Dumas and Yong Yang and Liang Zhang},
year = {2010},
doi = {10.1109/SERVICES.2010.23},
url = {http://doi.ieeecomputersociety.org/10.1109/SERVICES.2010.23},
tags = {contracts},
researchr = {https://researchr.org/publication/DumasYZ10},
cites = {0},
citedby = {0},
pages = {423-430},
booktitle = {6th World Congress on Services, SERVICES 2010, Miami, Florida, USA, July 5-10, 2010},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-4129-7},
}