Translucid contracts: Expressive specification and modular verification for aspect-oriented interfaces (2011)

by M Bagherzadeh, H Rajan, G T Leavens, S Mooney
Venue:Pages 141–152 of: AOSD’11: 10th International Conference on Aspect-Oriented Software Development