Benjamin Tyler, Jason O. Hallstrom, Neelam Soundarajan. Automated generation of monitors for pattern contracts. In Hisham Haddad, editor, Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006. pages 1779-1784, ACM, 2006. [doi]
@inproceedings{TylerHS06:0,
title = {Automated generation of monitors for pattern contracts},
author = {Benjamin Tyler and Jason O. Hallstrom and Neelam Soundarajan},
year = {2006},
doi = {10.1145/1141277.1141695},
url = {http://doi.acm.org/10.1145/1141277.1141695},
tags = {contracts},
researchr = {https://researchr.org/publication/TylerHS06%3A0},
cites = {0},
citedby = {0},
pages = {1779-1784},
booktitle = {Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006},
editor = {Hisham Haddad},
publisher = {ACM},
isbn = {1-59593-108-2},
}