Publication
Title
A tridimensional approach for studying the formal verification of model transformations
Author
Language
English
Source (book)
IEEE International Conference on Software Testing, Verification and Validation (ICST), 2012
Publication
S.l. : 2012
Volume/pages
p. 921-928
UAntwerpen
Faculty/Department
Research group
Publication type
Subject
Affiliation
Publications with a UAntwerp address
External links
Record
Identification
Creation 01.06.2013
Last edited 12.09.2013
To cite this reference