Mehdi Bagherzadeh, Gary T. Leavens, Robert Dyer 0001. Applying translucid contracts for modular reasoning about aspect and object oriented events. In Hridesh Rajan, editor, Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, FOAL 2011, Porto de Galinhas, Brazil, March 21-25, 2011. pages 31-35, ACM, 2011. [doi]
@inproceedings{BagherzadehLD11,
title = {Applying translucid contracts for modular reasoning about aspect and object oriented events},
author = {Mehdi Bagherzadeh and Gary T. Leavens and Robert Dyer 0001},
year = {2011},
doi = {10.1145/1960510.1960517},
url = {http://doi.acm.org/10.1145/1960510.1960517},
researchr = {https://researchr.org/publication/BagherzadehLD11},
cites = {0},
citedby = {0},
pages = {31-35},
booktitle = {Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, FOAL 2011, Porto de Galinhas, Brazil, March 21-25, 2011},
editor = {Hridesh Rajan},
publisher = {ACM},
isbn = {978-1-4503-0644-7},
}