DMCA

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

Cached

Download Links

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