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

Research

Associated organisational unit

Links

Keywords

View graph of relations

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

Research output: Working paper

Unpublished

Standard

PROBE: From Requirements and Design to Proof Oligations for Aspect-Oriented Systems. / Rashid, A.; Katz, S.
2004.

Research output: Working paper

Harvard

Rashid, A & Katz, S 2004 'PROBE: From Requirements and Design to Proof Oligations for Aspect-Oriented Systems'. <http://info.comp.lancs.ac.uk/publications/Publication_documents/2004-Rashid-PROBEfromRequirements.pdf>

APA

Rashid, A., & Katz, S. (2004). PROBE: From Requirements and Design to Proof Oligations for Aspect-Oriented Systems. http://info.comp.lancs.ac.uk/publications/Publication_documents/2004-Rashid-PROBEfromRequirements.pdf

Vancouver

Rashid A, Katz S. PROBE: From Requirements and Design to Proof Oligations for Aspect-Oriented Systems. 2004 Mar.

Author

Rashid, A. ; Katz, S. / PROBE: From Requirements and Design to Proof Oligations for Aspect-Oriented Systems. 2004.

Bibtex

@techreport{f814f959a37a43008768961d8362e822,
title = "PROBE: From Requirements and Design to Proof Oligations for Aspect-Oriented Systems",
keywords = "cs_eprint_id, 892 cs_uid, 1",
author = "A. Rashid and S. Katz",
year = "2004",
month = mar,
language = "English",
type = "WorkingPaper",

}

RIS

TY - UNPB

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

AU - Rashid, A.

AU - Katz, S.

PY - 2004/3

Y1 - 2004/3

KW - cs_eprint_id

KW - 892 cs_uid

KW - 1

M3 - Working paper

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

ER -