A Tridimensional Approach for Studying the Formal Verification of Model Transformations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Moussa Amrani, Levi Lucio, Gehan M. K. Selim, Benoît Combemale, Jürgen Dingel, Hans Vangheluwe, Yves Le Traon, James R. Cordy. A Tridimensional Approach for Studying the Formal Verification of Model Transformations. In Giuliano Antoniol, Antonia Bertolino, Yvan Labiche, editors, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, Montreal, QC, Canada, April 17-21, 2012. pages 921-928, IEEE, 2012. [doi]

This author has not been identified. Look up 'Moussa Amrani' in GoogleThis author has not been identified. Look up 'Levi Lucio' in GoogleThis author has not been identified. Look up 'Gehan M. K. Selim' in GoogleThis author has not been identified. Look up 'Benoît Combemale' in GoogleThis author has not been identified. Look up 'Jürgen Dingel' in GoogleIdentified as Hans Vangheluwe This author has not been identified. It may be one of the following persons:

Yves Le Traon

Look up 'Yves Le Traon' in GoogleIdentified as James R. Cordy

runs on WebDSL