VOLT 2015 - Verification of Model Transformations: Proceedings of the Fourth International Workshop on Verification of Model Transformations co-located with Software Technologies : Applications and Foundations (STAF 2015), L'Aquila, Italy, July 23, 2015.

Moussa Amrani (Editor), Eugene Syriani (Editor), Manuel Wimmer (Editor)

Research output: Book/Report/JournalBook

Original languageEnglish
PublisherCEUR Workshop Proceedings
Number of pages53
Publication statusPublished - 2015

Publication series

NameCEUR Workshop Proceedings
ISSN (Print)1613-0073

Cite this