Execution Trace Management to Support Dynamic V&V for Executable DSMLs

Publication
Université de Rennes 1