@book{TUW-245006, editor = {Amrani, Moussa and Syriani, Eugene and Wimmer, Manuel}, title = {Proceedings of the Fourth International Workshop on Verification of Model Transformations (VOLT)}, publisher = {CEUR-Proceedings}, year = {2015}, numpages = {53}, url = {http://ceur-ws.org/Vol-1530/}, issn = {1613-0073} }