Home > Research > Publications & Outputs > Modular Aspect Verification for Safer Aspect-Ba...
View graph of relations

Modular Aspect Verification for Safer Aspect-Based Evolution

Research output: Other contribution

Unpublished
Publication date07/2005
<mark>Original language</mark>English