314 followers
Formal Specification and Testing of Model Transformations - Springer https://t.co/ADzYXNTM4D
Formal Specification and Testing of Model Transformations - Springer https://t.co/ADzYXNTM4D
Model Transformations in change propagation and coupled evolution domains http://t.co/GWGDmLKz6a #springerlink
Model Transformations- 2012 Formal Methods for MDE http://t.co/GWGDmM1C8a #springerlink
Formal Specification and Testing of Model Transformations http://t.co/nn7K1VEeCo