A symbolic execution-based approach to model transformation verification using structural contracts

Publication

Title

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				Faculty of Applied Engineering Sciences

Research group				Co-Design of Cyber-Physical Systems (Cosys-Lab)

Publication type				Doctoral thesis

Subject				Engineering sciences. Technology Computer. Automation

External links

Record

Identifier

Creation

26.11.2018

Last edited

22.08.2023

To cite this reference