28604 articles – 22086 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]