@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}
}
