Content-Length: 6532 | pFad | https://ceur-ws.org/Vol-1530

CEUR-WS.org/Vol-1530 - VOLT 2015: Workshop on Verification of Model Transformations
Vol-1530
urn:nbn:de:0074-1530-6

Copyright © 2015 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.


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|








ApplySandwichStrip

pFad - (p)hone/(F)rame/(a)nonymizer/(d)eclutterfier!      Saves Data!


--- a PPN by Garber Painting Akron. With Image Size Reduction included!

Fetched URL: https://ceur-ws.org/Vol-1530

Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy