Automated Verification of Model Transformations in the Automotive Industry.

Gehan M. K. Selim, Fabian Bttner, James R. Cordy, Jrgen Dingel, Shige Wang

Browse the full MODELS paper archive.