Online Library TheLib.net » Тема, жанр, tags: Runtime Verification,Testing,Analysis,Aspect-Oriented Programming,AOP,AspectJ,Event Guarded Command