View of Verification of Graph-based Model Transformations Using Alloy

Return to Article Details Verification of Graph-based Model Transformations Using Alloy Download Download PDF