Lancaster EPrints

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. . (Unpublished)

Full text not available from this repository.
Item Type: Monograph (Working Paper)
Uncontrolled Keywords: cs_eprint_id ; 892 cs_uid ; 1
Subjects: Q Science > QA Mathematics > QA75 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 17:21
Refereed?: No
Published?: Unpublished
Last Modified: 17 Sep 2013 09:50
Identification Number:
URI: http://eprints.lancs.ac.uk/id/eprint/12423

Actions (login required)

View Item