Synthesis of OCL Pre-conditions for Graph Transformation Rules (2010)

by J Cabot, R Clarisó, E Guerra, J de Lara
Venue:In Tratt and Gogolla (eds.), ICMT. Lecture Notes in Computer Science 6142