Gary T. Leavens

Publication Activity (10 Years)

Years Active: 1984-2024
Publications (10 Years): 25

Top Topics

Crosscutting Concerns

Automated Reasoning

Aspect Oriented Programming

Top Venues

MODULARITY (Companion)

Publications