Publications

On Refinement of Generic State-Based Software Components

AuthID
P-000-C7R

Author(s)

Meng, S

Barbosa, LS

Editor(s)

Rattray, C; Maharaj, S; Shankland, C

Document Type

Article

Year published

2004

Published

in ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743

Volume: 3116, Pages: 506-520 (15)

Conference

10Th International Conference on Algebraic Methodology and Software Technology, Date: JUL 12-16, 2004, Location: Stirling, SCOTLAND, Sponsors: Edinburgh Mat Soc, Engn & Phys Sci Res Council, British Comp Soc, Formal Aspects Comp Sci Specialist Grp, London Math Soc

Indexing