Torsten Nelson, Donald D. Cowan, Paulo S. C. Alencar. Supporting Formal Verification of Crosscutting Concerns. In Akinori Yonezawa, Satoshi Matsuoka, editors, Metalevel Architectures and Separation of Crosscutting Concerns, Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001, Proceedings. Volume 2192 of Lecture Notes in Computer Science, pages 153-169, Springer, 2001. [doi]
Abstract is missing.