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)

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

Cite this