Publication
Title
Fully verifying transformation contracts for declarative ATL
Author
Language
English
Source (book)
2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), 30 Sept.-2 Oct., 2015, Ottawa, Ontario, Canada
Publication
Piscataway, N.J. : Institute of Electrical and Electronics Engineers, 2015
ISBN
978-1-4673-6908-4
Volume/pages
p. 256-265
Full text (Publisher's DOI)
UAntwerpen
Publication type
Subject
External links
Record
Identification
Creation 26.11.2018
Last edited 26.11.2018