Publication
Title
SyVOLT : full model transformation verification using contracts
Author
Language
English
Source (book)
Proceedings of the MoDELS 2015 Demo and Poster Session, co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), September 27, 2015, Ottawa, Canada / Kulkarni, Vinay [edit.]
Source (series)
CEUR workshop proceedings ; 1554
Publication
2015
Volume/pages
p. 24-27
Full text (open access)
UAntwerpen
Faculty/Department
Research group
Publication type
Subject
Affiliation
Publications with a UAntwerp address
External links
Record
Identifier
Creation 27.11.2018
Last edited 07.10.2022
To cite this reference