The Impact of Aspect-Oriented Programming on Formal Methods

Lynne Blair, Gordon S. Blair. The Impact of Aspect-Oriented Programming on Formal Methods. In Serge Demeyer, Jan Bosch, editors, Object-Oriented Technology, ECOOP 98 Workshop Reader, ECOOP 98 Workshops, Demos, and Posters, Brussels, Belgium, July 20-24, 1998, Proceedings. Volume 1543 of Lecture Notes in Computer Science, pages 436, Springer, 1998. [doi]

Bibliographies