Carlos Molina-Jiménez, Santosh K. Shrivastava, Ellis Solaiman, John P. Warne. Contract Representation for Run-time Monitoring and Enforcement. In 2003 IEEE International Conference on Electronic Commerce (CEC 2003), 24-27 June 2003, Newport Beach, CA, USA. pages 103-110, IEEE Computer Society, 2003. [doi]
@inproceedings{Molina-JimenezSSW03,
title = {Contract Representation for Run-time Monitoring and Enforcement},
author = {Carlos Molina-Jiménez and Santosh K. Shrivastava and Ellis Solaiman and John P. Warne},
year = {2003},
url = {http://csdl.computer.org/comp/proceedings/cec/2003/1969/00/19690103abs.htm},
tags = {contracts},
researchr = {https://researchr.org/publication/Molina-JimenezSSW03},
cites = {0},
citedby = {0},
pages = {103-110},
booktitle = {2003 IEEE International Conference on Electronic Commerce (CEC 2003), 24-27 June 2003, Newport Beach, CA, USA},
publisher = {IEEE Computer Society},
isbn = {0-7695-1969-5},
}