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

by M Bagherzadeh, H Rajan, G T Leavens, S Mooney
Venue:In Proceedings of the 10th ACM International Conference on Aspect-Oriented Software Development (AOSD 2011), Porto de Galinhas,