Verifying Aspect Advice Modularly”, (2004)

by S Krishnamurthi, K Fisler, M Greenberg
Venue:ACM SIGSOFT