Benoit Combemale, Xavier Crégut, Arnaud Dieumegard, Marc Pantel, Faiez Zalila. Teaching MDE through the Formal Verification of Process Models. ECEASST.
7th Educators' Symposium @ MODELS 2011: Software Modeling in Education (EduSymp2011), Oct 2011, Wellington, New Zealand. 2011.
〈hal-00646426〉