A survey of approaches for verifying model transformations Academic Article uri icon

publication date

  • 2015

number of pages

  • 25

start page

  • 1003

end page

  • 1028

volume

  • 14

issue

  • 2