|
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
| |
|
DOI
|
|
|
|
10.1109/MODELS.2015.7338256
| |
|
Volume/pages
|
|
|
|
p. 256-265
| |
|
Full text (Publisher's DOI)
|
|
|
|
| |
|