Gary T. Leavens

Transactions on Aspect-Oriented Software Development X

Transactions on Aspect-Oriented Software Development IX

Foundations of Component-Based Systems

Proceedings of the Modularity'15 Workshop on Foundations of Aspect-Oriented Languages

Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages

Neo4j'12

Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications

Dci'12

Proceedings of the ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software

Rpg'12

Proceedings of the 3rd Annual Conference on Systems, Programming, and Applications

Fool'12

XDD'12

SPLASH'12

Verified Software : Theories, Tools, Experiments

Transactions on Modularity and Composition I