Directory Home
Researchers
Departments
Publications
Projects
Activities
Datasets
Home
>
Research
>
Publications & Outputs
>
Modular Aspect Verification for Safer Aspect-Ba...
Research
Research at Lancaster
Researchers
Departments & Centres
Publications & Outputs
Projects
Activities
Datasets
Computing and Communications
Links
http://ftaiani.ouvaton.org/ressources/RAMSE-2005.pdf
Keywords
cs_eprint_id
,
1150 cs_uid
,
1
View graph of relations
Modular Aspect Verification for Safer Aspect-Based Evolution
Research output
:
Other contribution
Unpublished
Overview
Cite this
N. Weston
F. Taiani
A. Rashid
Close
More...
Publication date
07/2005
<mark>Original language</mark>
English