Shmuel Katz, Awais Rashid
From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems
RE, 2004.
@inproceedings{RE-2004-KatzR,
author = "Shmuel Katz and Awais Rashid",
booktitle = "{Proceedings of the 12th International Requirements Engineering Conference}",
doi = "10.1109/RE.2004.22",
isbn = "0-7695-2174-6",
pages = "48--57",
publisher = "{IEEE Computer Society}",
title = "{From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems}",
year = 2004,
}