Aspect-oriented software development aids / object systems / aspect applications / software development techniques / aspect systems / formal verification tools / woven systems / /
OperatingSystem
L3 / /
Organization
Israel Institute of Technology Haifa / Technion / /