X. Xie, Sol M. Shatz. An Approach To Using Formal Methods In Aspect Orientation. In Hamid R. Arabnia, editor, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2000, June 24-29, 2000, Las Vegas, Nevada, USA. CSREA Press, 2000.
@inproceedings{XieS00,
title = {An Approach To Using Formal Methods In Aspect Orientation},
author = {X. Xie and Sol M. Shatz},
year = {2000},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/XieS00},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2000, June 24-29, 2000, Las Vegas, Nevada, USA},
editor = {Hamid R. Arabnia},
publisher = {CSREA Press},
}