Automated Verification of Model Transformations in the Automotive Industry.

Published in: MoDELS (2013)

Keyphrases