From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems.

Shmuel Katz, Awais Rashid

Browse the full RE paper archive.