Formal Verification Techniques for Model Transformations: A Tridimensional ClassificationOpen Website

Moussa Amrani, Benoît Combemale, Levi Lucio, Gehan M. K. Selim, Jürgen Dingel, Yves Le Traon, Hans Vangheluwe, James R. Cordy

2015 (modified: 23 Feb 2022)J. Object Technol. 2015Readers: Everyone
0 Replies