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:

?? cs_eprint_id892 cs_uid1qa75 electronic computers. computer science ??

Departments:

Faculty of Science and Technology > School of Computing & Communications

ID Code:

12423

Deposited By:

ep_importer_comp

Deposited On:

07 Jul 2011 16:21

Refereed?:

Published?:

Unpublished

Last Modified:

15 Jul 2024 07:47

URI:

https://eprints.lancs.ac.uk/id/eprint/12423