Thèse : soutenance de Erwan Bousse

«Execution trace management to support dynamic V&V for executable DSMLs» - thèse de doctorat de l'université de Rennes 1 en informatique