PROBE: From Requirements and Design to Proof Oligations for Aspect-Oriented Systems

Rashid, A. and Katz, S. (2004) PROBE: From Requirements and Design to Proof Oligations for Aspect-Oriented Systems. Working Paper. UNSPECIFIED. (Unpublished)

Full text not available from this repository.
Item Type:
Monograph (Working Paper)
Uncontrolled Keywords:
/dk/atira/pure/researchoutput/libraryofcongress/qa75
Subjects:
ID Code:
12423
Deposited By:
Deposited On:
07 Jul 2011 16:21
Refereed?:
No
Published?:
Unpublished
Last Modified:
04 Jun 2020 08:14