Publication
Title
Finding and fixing bugs in model transformations with formal verification : an experience report
Author
Language
English
Source (book)
AMT 2015 Analysis of Model Transformations : proceedings of the 4th Workshop on the Analysis of Model Transformations, co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada, September 28, 2015 / Dingel, Juergen [edit.]
Source (series)
CEUR workshop proceedings ; 1500
Publication
2015
Volume/pages
p. 26-35
Full text (open access)
UAntwerpen
Publication type
Subject
External links
Record
Identifier
Creation 26.11.2018
Last edited 22.08.2023
To cite this reference