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