On the formal correctness of a model transformation verification technique

  • S.M.J. de Putter

Scriptie/Masterproef: Master

Datum prijs30 jun 2014
Originele taalEngels
BegeleiderAnton J. Wijs (Afstudeerdocent 1), Ruurd Kuiper (Afstudeerdocent 2) & J.H. (Herman) Geuvers (Afstudeerdocent 2)

Citeer dit

'