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.

Edited by

Moussa Amrani *
Eugene Syriani **
Manuel Wimmer ***

* PReCise Group, Faculty of Computer Science, University of Namur, Belgium
** Department of Computer Science and Operations Research, University of Montreal, Canada
*** Business Informatics Group, Institute of Software Technology and Interactive Systems, Vienna University of Technology, Austria

Table of Contents

2015-12-08: submitted by Manuel Wimmer, metadata incl. bibliographic data published under Creative Commons CC0
2015-12-08: published on CEUR-WS.org |valid HTML5|