Publication
Title
Formal verification techniques for model transformations : a tridimensional classification
Author
Abstract
Language
English
Source (journal)
Journal of Object Technology
Publication
2015
ISSN
1660-1769
Volume/pages
14:3(2015), 43 p.
ISI
000359694500001
Full text (Publisher's DOI)
UAntwerpen
Faculty/Department
Research group
Publication type
Subject
Affiliation
Publications with a UAntwerp address
External links
Web of Science
Record
Identification
Creation 08.04.2016
Last edited 20.08.2018
To cite this reference