Gary T. Leavens
16 works on record
Works

Transactions on Aspect-Oriented Software Development IX

Foundations of Component-Based Systems

Transactions on Modularity and Composition I

Transactions on Aspect-Oriented Software Development X
Verified Software : Theories, Tools, Experiments
XDD'12
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications
Fool'12
Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages
SPLASH'12
Proceedings of the ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
Neo4j'12
Proceedings of the Modularity'15 Workshop on Foundations of Aspect-Oriented Languages
Dci'12
Proceedings of the 3rd Annual Conference on Systems, Programming, and Applications
Rpg'12