References of "Combemale, Benoit"
Bookmark and Share    
Full Text
Peer Reviewed
See detailA Survey of Formal Verification Techniques for Model Transformations: A Tridimensional Classification
Amrani, Moussa UL; Lúcio, Lévi; Selim, Gehan et al

in Journal of Technology (2014)

Detailed reference viewed: 259 (8 UL)
Full Text
Peer Reviewed
See detailA Tridimensional Approach for Studying the Formal Verification of Model Transformations
Amrani, Moussa UL; Lucio, Levi; Selim, Gehan M. K. et al

in Proceedings of the First Workshop on Verification and Validation of Model Transformations (2012)

Detailed reference viewed: 85 (2 UL)