Login / Signup
Gary T. Leavens
ORCID
Publication Activity (10 Years)
Years Active: 1984-2024
Publications (10 Years): 25
Top Topics
Lightweight
Crosscutting Concerns
Automated Reasoning
Aspect Oriented Programming
Top Venues
FTfJP@ECOOP
MODULARITY (Companion)
CoRR
MODULARITY
</>
Publications
</>