@InProceedings{Rebelo-etal08b,
 author = {Reb\^{e}lo, Henrique and Lima, Ricardo and Corn\'{e}lio, M\'{a}rcio and Soares, S\'{e}rgio},
 title = {A JML Compiler Based on AspectJ},
 booktitle = {ICST '08: Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation},
 year = {2008},
 isbn = {978-0-7695-3127-4},
 pages = {541--544},
 doi = {http://dx.doi.org/10.1109/ICST.2008.14},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }