Translucid contracts for aspect-oriented interfaces (0)

by M Bagherzadeh, H Rajan, G T Leavens
Venue:In FOAL ’10