A Tridimensional Approach for Studying the Formal Verification of Model Transformations.

Moussa Amrani, Levi Lucio, Gehan M. K. Selim, Benot Combemale, Jrgen Dingel, Hans Vangheluwe, Yves Le Traon, James R. Cordy

Browse the full ICST paper archive.