Formal Verification Techniques for Model Transformations: A Tridimensional Classification

Abstract

Publication
The Journal of Object Technology, Chair of Software Engineering
Date