33968 articles – 26745 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]