33843 articles – 26709 Notices  [english version]
.:. Consultation > Par auteur > Amrani .:.
1 document

fulltext access A Tridimensional Approach for Studying the Formal Verification of Model Transformations
Amrani M., Lucio L., Selim G., Combemale B., Dingel J., Vangheluwe H., Le Traon Y., Cordy J. R.
Dans Verification and validation Of model Transformations (VOLT) (2012) [hal-00684717 - version 1]