Nathan Weston, François Taïani, Awais Rashid. Modular Aspect Verification for Safer Aspect-Based Evolution. In Walter Cazzola, Shigeru Chiba, Gunter Saake, Tom Tourwé, editors, RAM-SE 05-ECOOP 05 Workshop on Reflection, AOP, and Meta-Data for Software Evolution, Proceedings, Glasgow, UK, July 15, 2005. pages 17-28, Fakultät für Informatik, Universität Magdeburg, 2005.
Abstract is missing.