Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Massa Ferreira Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm. Modularizing crosscutting contracts with AspectJML. In Walter Binder, Erik Ernst, Achille Peternier, Robert Hirschfeld, editors, 13th International Conference on Modularity, MODULARITY '14, Lugano, Switzerland, April 22-26, 2014. pages 21-24, ACM, 2014. [doi]
@inproceedings{RebeloLBRLZCT14,
title = {Modularizing crosscutting contracts with AspectJML},
author = {Henrique Rebêlo and Gary T. Leavens and Mehdi Bagherzadeh and Hridesh Rajan and Ricardo Massa Ferreira Lima and Daniel M. Zimmerman and Márcio Cornélio and Thomas Thüm},
year = {2014},
doi = {10.1145/2584469.2584476},
url = {http://doi.acm.org/10.1145/2584469.2584476},
researchr = {https://researchr.org/publication/RebeloLBRLZCT14},
cites = {0},
citedby = {0},
pages = {21-24},
booktitle = {13th International Conference on Modularity, MODULARITY '14, Lugano, Switzerland, April 22-26, 2014},
editor = {Walter Binder and Erik Ernst and Achille Peternier and Robert Hirschfeld},
publisher = {ACM},
isbn = {978-1-4503-2772-5},
}