Transactions on Aspect-Oriented Software Development X

Transactions on Modularity and Composition I

Verified Software: Theories, Tools, Experiments: Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010, Proceedings