Translucid Contracts: Expressive Specification and Modular Verification for Aspect-Oriented Interfaces (2010)

by Mehdi Bagherzadeh, Hridesh Rajan, Gary T. Leavens, Sean Mooney
Venue:10TH INTERNATIONAL CONFERENCE ON ASPECT-ORIENTED SOFTWARE DEVELOPMENT (AOSD '11)