Henrique Rebêlo, Ricardo Massa Ferreira Lima, Alexandre Mota, César A. L. Oliveira, Márcio Ribeiro. Checking Contracts for AOP using XPIDRs. In Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood City, San Francisco Bay, USA July 1-3, 2012. Knowledge Systems Institute Graduate School, 2012.
@inproceedings{RebeloLMOR12a,
title = {Checking Contracts for AOP using XPIDRs},
author = {Henrique Rebêlo and Ricardo Massa Ferreira Lima and Alexandre Mota and César A. L. Oliveira and Márcio Ribeiro},
year = {2012},
researchr = {https://researchr.org/publication/RebeloLMOR12a},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood City, San Francisco Bay, USA July 1-3, 2012},
publisher = {Knowledge Systems Institute Graduate School},
isbn = {1-891706-31-4},
}