@inproceedings {526, title = {Verification of Model Transformation}, booktitle = {Proceedings of the 15th PhD Minisymposium}, year = {2008}, month = {02/2008}, publisher = {Budapest University of Technology and Economics, Department of Measurement and Information Systems}, organization = {Budapest University of Technology and Economics, Department of Measurement and Information Systems}, address = {Budapest, Hungary}, author = {{\'A}kos Horv{\'a}th} }