DMCA

Translucid contracts for aspect-oriented interfaces (2010)

by Mehdi Bagherzadeh , Hridesh Rajan , Gary T. Leavens
Citations:9 - 6 self