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 Aspectual Assumptions
Publications & Outputs
AspectJ code analysis and verification with GASR
Fabry, J., De Roover, C., Noguera, C.,
Zschaler, S.
,
Rashid, A.
& Jonckers, V.,
1/07/2016
,
In:
Journal of Systems and Software.
117
,
p. 528-544
17 p.
Research output
:
Contribution to Journal/Magazine
›
Journal article
›
peer-review