On the formal correctness of a model transformation verification technique

  • S.M.J. de Putter

Student thesis: Master

Abstract

Date of Award30 Jun 2014
Original languageEnglish
SupervisorAnton J. Wijs (Supervisor 1), Ruurd Kuiper (Supervisor 2) & J.H. (Herman) Geuvers (Supervisor 2)

Cite this

On the formal correctness of a model transformation verification technique
de Putter, S. M. J. (Author). 30 Jun 2014

Student thesis: Master