Articles matching “Dingel”

  1. Moussa Amrani, Benoît Combemale, Levi Lúcio, Gehan M. K. Selim, Jürgen Dingel, Yves Le Traon, Hans Vangheluwe, James R. Cordy, Formal Verification Techniques for Model Transformations: A Tridimensional Classification , pp. 1:1-43, PDF, DOI. Volume 14, no. 3 (August 2015)
The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact