DMCA

Automated Verification of Model Transformations in the Automotive Industry (2013)

by Gehan M. K. Selim , Fabian Büttner , James R. Cordy , Juergen Dingel , Shige Wang