From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems

Shmuel Katz, Awais Rashid

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

24 Citations (Scopus)
Original languageEnglish
Title of host publication12th IEEE International Conference on Requirements Engineering (RE 2004), 6-10 September 2004, Kyoto, Japan
Number of pages10
Publication statusPublished - 2004

Cite this