Vol-1325
urn:nbn:de:0074-1325-4




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|