FATES
2006
Springer
13 years 8 months ago
2006
Springer
To efficiently solve safety verification and testing problems for an aspect-oriented system, we use multitape automata to model aspects and propose algorithms for the aspect-orient...