PROBE: From Requirements and Design to Proof Oligations for Aspect-Oriented Systems - Research Portal | Lancaster University

Home > Research > Publications & Outputs > PROBE: From Requirements and Design to Proof Ol...

Computing and Communications

Associated organisational unit

Security Lancaster

Links

http://info.comp.lancs.ac.uk/publications/Publication_documents/2004-Rashid-PROBEfromRequirements.pdf

Keywords

cs_eprint_id, 892 cs_uid, 1

View graph of relations

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

Research output: Working paper

Unpublished

A. Rashid
S. Katz

Publication date	03/2004
<mark>Original language</mark>	English