@book{TUW-238091, editor = {Amrani, Moussa and Syriani, Eugene and Wimmer, Manuel}, title = {Proceedings of the Third International Workshop on Verification of Model Transformations (VOLT)}, publisher = {CEUR-Proceedings}, year = {2015}, address = {Sun SITE Central Europe, CEUR-WS.org, Aachen}, numpages = {55}, url = {http://ceur-ws.org/Vol-1325/}, issn = {1613-0073} }