Reihe Aachener Informatik Berichte Software Engineering

Model Analyses Based on Semantic Differencing and Automatic Model Repair