@inproceedings {456,
	title = {Static Type Checking of Model Transformation Programs},
	booktitle = {ICGT{\textquoteright}10 Doctoral Symposium},
	year = {2010},
	month = {10/2010},
	pages = {413-415},
	publisher = {Springer Berlin / Heidelberg},
	organization = {Springer Berlin / Heidelberg},
	address = {University of Twente, Enschede, The Netherlands},
	keywords = {model transformations, static analysis, type checking, Viatra},
	doi = {10.1007/978-3-642-15928-2_36},
	author = {Zolt{\'a}n Ujhelyi}
}
