Publication
Title
A symbolic execution-based approach to model transformation verification using structural contracts
Author
Language
English
Publication
Montreal, Quebec : McGill University, School of Computer Science, 2018
Volume/pages
310 p.
Full text (publisher's version - intranet only)
UAntwerpen
Faculty/Department
Research group
Publication type
Subject
External links
Record
Identification
Creation 26.11.2018
Last edited 28.11.2018