Directory Home
Researchers
Departments
Publications
Projects
Activities
Datasets
Home
>
Research
> Browse
Research
Research at Lancaster
Researchers
Departments & Centres
Publications & Outputs
Projects
Activities
Datasets
Results for 1150 cs_uid
Publications & Outputs
Modular Aspect Verification for Safer Aspect-Based Evolution
Weston, N.
,
Taiani, F.
&
Rashid, A.
,
07/2005
, (Unpublished)
Research output
:
Other contribution