MODELS AND METAMODELS FOR
SOFTWARE VERIFICATION AND VALIDATION
Lectures
Computational Frameworks: Some Introductory Reflections
Computational Models
Computational Metamodels
Software Testing I
Software Testing II
