Abstract
| Date of Award | 30 Jun 2014 |
|---|---|
| Original language | English |
| Supervisor | Anton 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