Login / Signup

Rely-guarantee approach to reasoning about aspect-oriented programs.

Raffi KhatchadourianNeelam Soundarajan
Published in: SPLAT (2007)
Keyphrases