Ji Zhang, Heather Goldsby, Betty H. C. Cheng. Modular verification of dynamically adaptive systems. In Kevin J. Sullivan, editor, Proceedings of the 8th International Conference on Aspect-Oriented Software Development, AOSD 2009, Charlottesville, Virginia, USA, March 2-6, 2009. pages 161-172, ACM, 2009. [doi]
Abstract is missing.