VOLT 2014
Verification of Model Transformations

Proceedings of the Third International Workshop on Verification of Model Transformations
co-located with Software Technologies: Applications and Foundations (STAF 2014)

York, UK, July 21, 2014.

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-01-10: submitted by Manuel Wimmer, metadata incl. bibliographic data published under Creative Commons CC0
2015-01-10: published on CEUR-WS.org |valid HTML5|