Shriram Krishnamurthi, Kathi Fisler, Michael Greenberg. Verifying aspect advice modularly. In Richard N. Taylor, Matthew B. Dwyer, editors, Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31 - November 6, 2004. pages 137-146, ACM, 2004. [doi]
@inproceedings{KrishnamurthiFG04,
title = {Verifying aspect advice modularly},
author = {Shriram Krishnamurthi and Kathi Fisler and Michael Greenberg},
year = {2004},
doi = {10.1145/1029894.1029916},
url = {http://doi.acm.org/10.1145/1029894.1029916},
researchr = {https://researchr.org/publication/KrishnamurthiFG04},
cites = {0},
citedby = {0},
pages = {137-146},
booktitle = {Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31 - November 6, 2004},
editor = {Richard N. Taylor and Matthew B. Dwyer},
publisher = {ACM},
isbn = {1-58113-855-5},
}