Showing results 1 to 1 of 1 1
in Proceedings of the First Workshop on Verification and Validation of Model Transformations (2012)
1